topos-generate
OfficialGenerate topos and logic with forcing.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill leverages topos theory and forcing semantics to generate models and internal languages, enabling formal reasoning and constructive modeling.
Core Features & Use Cases
- Subobject Classifier & Ω: Understands truth values and subobject classifiers in different topoi.
- Internal Language: Maps types to objects and predicates to subobjects for reasoning.
- Forcing Semantics: Applies Kripke-Joyal forcing rules to construct stage-wise truth.
- Practical Code Integration: Demonstrations show integration with Cider/Clojure and Catlab.
Quick Start
Run commands like just topos-omega site, just topos-force stage "...", or just topos-model formula to generate models satisfying a given proposition.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: topos-generate Download link: https://github.com/plurigrid/asi/archive/main.zip#topos-generate Please download this .zip file, extract it, and install it in the .claude/skills/ directory.