Registry · Definition II.D55 established formalized

II.D55 — 2-Category Structure

2-Category Structure

Book II Part 8 Ch. 44

Dependency Graph

Depends on (5)

II.D53 II.D54 II.P11 II.T36 II.L07

Depended on by (6)

II.D56 II.D57 II.D58 II.D84 II.P12 II.R14

Lean Formalization

Module: TauLib.BookII.Enrichment.TwoCategories

Symbol: Tau.BookII.Enrichment.TwoCat