阅读圈

范畴论

Category Theory for Programmers
Category Theory for Programmers
Category Theory for ProgrammersBartoszMilewski
Algebra (AMS Chelsea Publishing)
Algebra (AMS Chelsea Publishing)
Algebra (AMS Chelsea Publishing)GarretBirkhoff, SaundersMacLane
Homotopy Type Theory
Homotopy Type Theory
Homotopy Type TheoryUnivalentFoundationsProgram