TauLib · API
Book
TauLib.BookVII
TauLib.BookVII — Categorical Metaphysics
Master import file for Book VII (Categorical Metaphysics) Lean modules.
Book VII = E₃ enrichment layer: from categorical structure to lived reality. Metaphysics = SelfDesc² (self-modelling of self-modelling). Four registers (E, P, D, C) + Logos sector (D ∩ C).
Module Organization
Meta (Part 1: Foundational Layer)
-
Registers: 4+1 register decomposition, enrichment chain, E₃ layer (0 sorry) -
Saturation: Saturation Theorem, Gödel Avoidance, Inevitability (0 sorry) -
Archetypes: Minimal j-closed fixed points, three archetypes (0 sorry)
Ethics (Part 7: Practical Register)
CIProof: CI programme — dignity, sheaf equivalence, kernel theorem, uniqueness (0 sorry)
Social (Part 8: Social Ontology)
Ontology: Social base space, recognition topology, social sheaf, power, legitimacy, ritual (0 sorry)
Logos (Part 10: Mixed Sector)
Sector: Logos characterization, rigidity (2 sorry — methodological boundary)
Final (Parts 10, 12: Boundaries)
Boundary: No Forced Stance, Lemniscate Closure (2 sorry — methodological boundary)