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:

# 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.