yoneda-directed
OfficialDirected Yoneda for proofs in type theory.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
The Directed Yoneda Skill presents a practical lens on the Yoneda principle for directed ∞-categories, helping researchers and students apply directed path induction to proofs about Segal types.
Core Features & Use Cases
- Core Definition (Rzk): A compact, executable-style formulation of dependent Yoneda in a directed setting.
- Chemputer Semantics: A metaphorical interpretation to connect abstract reasoning with concrete intuition.
- GF(3) Triads & Theorem: Concrete mappings of hue to trit and example theorems that illustrate the idea.
- References: Foundational papers and links for extended reading.
Quick Start
Read the Core Definition (Rzk), then apply directed-path-induction to a Segal-type A, a, and P to derive P(x, f) from base P(a, id_a).
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: yoneda-directed Download link: https://github.com/plurigrid/asi/archive/main.zip#yoneda-directed Please download this .zip file, extract it, and install it in the .claude/skills/ directory.