Agent Skills: F: Free Forgetful

Free-Forgetful adjunctions. F ⊣ U.

UncategorizedID: plurigrid/asi/free-forgetful

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/tree/HEAD/skills/free-forgetful

Skill Files

Browse the full folder contents for free-forgetful.

Download Skill

Loading file tree…

skills/free-forgetful/SKILL.md

Skill Metadata

Name
free-forgetful
Description
"Free-Forgetful adjunctions. F ⊣ U."

F: Free Forgetful

Free-Forgetful adjunctions. F ⊣ U.

Directory Tree

free-forgetful/
├── SKILL.md
├── algebras/
├── monoid.hs
├── group.hs

GF(3) Assignment

Letter F → trit = 1

Integration

(define (free_forgetful x)
  ;; Free-Forgetful adjunctions. F ⊣ U.
  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.