• 物理学_比较数学_方向“书单”
• 洛伦兹群的表示综述
• 为什么会有1/2自旋粒子
• 杂项(血口喷人)

• Notes on Natural Transformations

• Notes on Math Papers

• Notions of 2-category

• Homotopy Type Theory
• Stable Homotopy Theory
• K-theory of Operator Algebras
• Algebraic K-theory
• Stable Homotopy Theory
• Misc Notes

• Mac Lane, Moerdijk - Sheaves in Geometry and Logic
• Lurie's Categorical Logic

• Notes on convolution algebras

• Principal infinity bundles and Nonabelian Gerbes
• Nonabelian Cech Cohomology
• Stackification of 2-Prestacks over Lie Groupoids

• Topos Theory
  • Exponentials, Cartesian closed categories, Intuitionistic Propositional Calculus
• Higher Topos Theory
• Higher Algebra

• Higher Category Theory

• Simplicial Sets

• Quantifiers as Adjoints
• Sieves, Grothendieck Topologies
• Elementary Topos

• Judith Roitman - Introduction to Modern Set Theory
• The von Neumann Universe
• ZFC axioms