asi-polynomial-operads

SKILL.md

"Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad" — Libkind & Spivak (ACT 2024)

Core Definition A polynomial functor $p: \text{Set} \to \text{Set}$ is a sum of representables:

Morphisms (Dependent Lenses) A lens $f: p \to q$ is a pair $(f1, f^\sharp)$:

集成多項式函子、free monad/cofree comonad 的 ASI 技能 來源：plurigrid/asi。

查看原文