adjunction-algebra
Installation
SKILL.md
A: Adjunction Algebra
Adjunctions as universal arrows. Left ⊣ Right.
Directory Tree
adjunction-algebra/
├── SKILL.md
├── lib/
├── examples/unit-counit.scm
GF(3) Assignment
Letter A → trit = -1
Adjunctions as universal arrows. Left ⊣ Right.
adjunction-algebra/
├── SKILL.md
├── lib/
├── examples/unit-counit.scm
Letter A → trit = -1