Topoi: cartesian closed + subobject classifier.
Scanned 9/6/2026
Install to Claude Code
npx -y skills add plurigrid/asi --skill topos-logic --agent claude-codeInstalls into .claude/skills of the current project.
Are you the author of Topos Logic?
Add the live security badge to your README — it updates automatically with every re-scan.
[](https://www.skillsdirectory.com/skills/plurigrid-topos-logic)More formats (shields.io, HTML) on the badges page.
---
name: topos-logic
description: "Topoi: cartesian closed + subobject classifier."
metadata:
letter: T
trit: 0
seed: 1153
---
# T: Topos Logic
> *Topoi: cartesian closed + subobject classifier.*
## Directory Tree
```
topos-logic/
├── SKILL.md
├── internal/
├── omega.ml
├── power.ml
```
## GF(3) Assignment
Letter T → trit = 0
## Integration
```scheme
(define (topos_logic x)
;; Topoi: cartesian closed + subobject classifier.
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.*
Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.
No comments yet. Be the first to comment!