A: Adjunction Algebra
SkillDev toolsAdjunctions as universal arrows. Left ⊣ Right.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the A: Adjunction Algebra skill
What this skill tells your AI
The instructions your AI receives, as published by plurigrid/asi in skills/adjunction-algebra/SKILL.md and read by ahel’s review.
Adjunctions as universal arrows. Left ⊣ Right.
Directory Tree
adjunction-algebra/
├── SKILL.md
├── lib/
├── examples/unit-counit.scm
GF(3) Assignment
Letter A → trit = -1
Integration
(define (adjunction_algebra x)
;; Adjunctions as universal arrows. Left ⊣ Right.
x)
Autopoietic Marginalia
The interaction IS the skill improving itself.
Every use of this skill is an opportunity for worlding:
- MEMORY (-1): Record what was learned
- REMEMBERING (0): Connect patterns to other skills
- WORLDING (+1): Evolve the skill based on use
Add Interaction Exemplars here as the skill is used.
CT lattice atlas
Part of: para-mensch-commons (CT lattice family).
Signals
- GitHub stars
- 63
- Forks
- 12
- Last commit
- Jul 2026
Advanced
- Catalog kind
- skill
- Gateway key
adjunction-algebra- Source
- github.com/plurigrid/asi