koopman-generator

Original source / Raw SKILL.md

---
name: koopman-generator
description: Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
version: 1.0.0
---


# Koopman Generator Skill

## Core Idea

The **Koopman operator** K linearizes nonlinear dynamics by lifting to infinite-dimensional observable space:

```
State space (nonlinear)     Observable space (linear)
      x_{t+1} = f(x_t)   →   (Kg)(x) = g(f(x))
```

**Key property**: K is **linear** even when f is nonlinear.

## Connection to DMD

DMD finds finite-rank approximation of K:
```
K ≈ Φ Λ Φ†
```
- Φ = DMD modes (approximate Koopman eigenfunctions)
- Λ = eigenvalues

## As ACSet Morphism

Koopman = natural transformation on observable presheaves:
```julia
# Observable functor
F: StateSpace → ObservableSpace

# Koopman as pushforward
K = f_*: Sh(X) → Sh(X)
```

## GF(3) Triads

```
dmd-spectral (-1) ⊗ structured-decomp (0) ⊗ koopman-generator (+1) = 0 ✓
temporal-coalgebra (-1) ⊗ acsets (0) ⊗ koopman-generator (+1) = 0 ✓
```

## References

- Brunton et al. "Modern Koopman Theory" (2021)
- Mezić "Spectral Properties of Dynamical Systems" (2005)
- PyDMD: https://github.com/mathLab/PyDMD



## Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

### Bioinformatics
- **biopython** [○] via bicomodule
  - Hub for biological sequences

### Scientific Computing
- **scipy** [+] via Lan_K
  - Generator/free structure

### Bibliography References

- `dynamical-systems`: 41 citations in bib.duckdb

## Cat# Integration

This skill maps to **Cat# = Comod(P)** as a bicomodule in the equipment structure:

```
Trit: 1 (PLUS)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #4ECDC4
```

### GF(3) Naturality

The skill participates in triads satisfying:
```
(-1) + (0) + (+1) ≡ 0 (mod 3)
```

This ensures compositional coherence in the Cat# equipment structure.