plurigrid/asi

adjunction-algebra

Adjunctions as universal arrows. Left ⊣ Right.

First seen May 14, 2026

Installation

$ npx skills add plurigrid/asi --skill adjunction-algebra

Also in this package

Other skills from plurigrid/asi · top by installs.

npx skills add plurigrid/asi

Browse all from plurigrid/asi

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 62
License LICENSE
Default branch main
Open issues 3
Status Active

Skill metadata

Parsed from SKILL.md frontmatter.

More metadata
letter
A
trit
-1
seed
1134

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 933 B
  • docs SUMMARY.md 74 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 1 installs

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

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