Asi hom-functor

Name: hom-functor
Author: plurigrid

Hom(A,-) and Hom(-,B) representables.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/hom-functor" ~/.claude/skills/plurigrid-asi-hom-functor && rm -rf "$T"

manifest: skills/hom-functor/SKILL.md

source content

H: Hom Functor

Hom(A,-) and Hom(-,B) representables.

Directory Tree

hom-functor/
├── SKILL.md
├── yoneda/
├── embedding.ml

GF(3) Assignment

Letter H → trit = 0

Integration

(define (hom_functor x)
  ;; Hom(A,-) and Hom(-,B) representables.
  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.