SkillsAdd

plurigrid/asi

presheaf-topos

Presheaves: contravariant Set-valued functors.

First seen Jun 21, 2026

Installation

$ npx skills add plurigrid/asi --skill presheaf-topos
View on skills.sh ↗ GitHub repository ↗

Also in this package

Other skills from plurigrid/asi · top by installs.

npx skills add plurigrid/asi
academic-research 164 tree-sitter 42 wev-tesseract 40 reverse-engineering 24 beeper-mcp 21 bdd-mathematical-verification 20 alife 17 backend-development 15 tizen-app-scaffold 14 canvas-design 13

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
P
trit
-1
seed
1149

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 831 B
  • docs SUMMARY.md 68 B

History

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

SKILL.md

P: Presheaf Topos

Presheaves: contravariant Set-valued functors.

Directory Tree

presheaf-topos/
├── SKILL.md
├── sieves/
├── yoneda-lemma.tex

GF(3) Assignment

Letter P → trit = -1

Integration

(define (presheaf_topos x)
  ;; Presheaves: contravariant Set-valued functors.
  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.