The Clowder Project

1.2 Project Overview

• Subsection 1.2.1: Content and Scope
  • Subsubsection 1.2.1.1: Elementary Category Theory
  • Subsubsection 1.2.1.2: Variants of Category Theory
  • Subsubsection 1.2.1.3: Higher Category Theory
  • Subsubsection 1.2.1.4: $\infty $-Categories
  • Subsubsection 1.2.1.5: Other Topics
• Subsection 1.2.2: Style
  • Subsubsection 1.2.2.1: Presentation of Topics
  • Subsubsection 1.2.2.2: Provable Items Come With Proofs
  • Subsubsection 1.2.2.3: Proper Justification of Proofs
• Subsection 1.2.3: Infrastructure and Technical Implementation
  • Subsubsection 1.2.3.1: Removed Features (in Comparison With the Stacks Project)
  • Subsubsection 1.2.3.2: Gerby and the Tags System
  • Subsubsection 1.2.3.3: Placeholder Symbols and Future Style