Prior Art — Category Theory
Prior-art cluster pa000001 — Category Theory: 13 representative references and 5 structural-challenge edges curated from the central bibliography.
Cluster ID: pa000001 · 60 bibliography entries in domain
Category Theory
Foundational and modern category-theoretic literature: classical category theory, elementary topos theory (ETCS), enriched category theory, type- theoretic foundations including Homotopy Type Theory, and category-theoretic treatments of self-reference and diagonal arguments. The Panta Rhei kernel inherits from this lineage — the K0–K6 axioms, the progression operator, the Yoneda enrichment ladder, and the τ-topos with its four-valued internal logic all sit in dialogue with this body of work. Reviewers comparing the framework against ETCS, HoTT/UF, or topos-theoretic physics programs (Isham, Döring, Schreiber) should start here; the Deep Comparison briefing covers the closest approach families in narrative form.
Representative references
Curated subset (13 of 60 domain entries) — the most-cited and canonical works in this cluster. The full set is enumerable via the Bibliography browse surface.
Where this cluster bears on the program
Construction-spine steps the cluster's prior art most directly engages.
Related structural challenges
Structural Challenge Ledger items where this cluster's prior art is part of the obligation surface. Each link goes to the canonical SCL item; from there, the paired Challenge Response on the Results lane shows the program's current τ response.
SCL items resolve via the Structural Challenge Ledger; the corresponding Challenge Responses live on the Results-side projection.
For fuller editorial comparisons
The cluster surface here is the machine-readable backbone. For narrative comparisons against specific approach families — shared pressure, distinguishing claim, remaining burden — see the Deep Comparison briefing, which carries the editorial work and will continue to expand as more comparisons are authored.
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.