Registry · Definition II.D57 established formalized

II.D57 — E1 Enrichment Layer

Category tau equipped with self-enrichment: internal Hom objects, Yoneda embedding, Code/Decode bijection, 2-category structure, and bipolar Hom decomposition.

Book II Part 8 Ch. 45

Dependency Graph

Depends on (6)

II.D53 II.D54 II.T35 II.D55 II.D56 II.P12

Depended on by (3)

II.D58 II.D67 II.R22

Lean Formalization

Module: TauLib.BookII.Enrichment.SelfDescribing

Symbol: Tau.BookII.Enrichment.E1Layer