Skip to content

cb-g/lizhi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Lizhi

View PDF

Structure

Part I: Foundations (Chapters I-VII) Type Theory, Set Theory, Category Theory, Metatheory, Topos Theory, Homotopy Type Theory, Computability & Recursion Theory

Part II: Structural Mathematics (Chapters VIII-XII) Algebra, Topology, Analysis, Algebraic Topology & Algebraic Geometry, Modern Mathematical Structures

Part III: Specialized Mathematics (Chapters XIII-XXXI) Number Theory, Measure Theory, Differential Geometry, and other specialized topics