The Clowder Project

1.1 Introduction

• Subsection 1.1.1: Project Description and Goals
  • Subsubsection 1.1.1.1: Provide a Unified and Complete Reference for Category Theory
  • Subsubsection 1.1.1.2: Gather Hard to Find Results
  • Subsubsection 1.1.1.3: Elaborate on Details That Are Often Left Out
  • Subsubsection 1.1.1.4: Homogenize Conventions, Notation, and Terminology
  • Subsubsection 1.1.1.5: Fill Gaps in the Category Theory Literature
  • Subsubsection 1.1.1.6: Provide a Citable Reference for All Kinds of Results
• Subsection 1.1.2: Navigating the Clowder Project
  • Subsubsection 1.1.2.1: Preferences
  • Subsubsection 1.1.2.2: Large Diagrams and the Zoom in Feature
  • Subsubsection 1.1.2.3: PDF Styles
• Subsection 1.1.3: Prerequisites/Assumed Background
• Subsection 1.1.4: Community Engagement, Contributions and Collaboration
  • Subsubsection 1.1.4.1: How to Contribute
  • Subsubsection 1.1.4.2: Ways to Contribute: Missing Proofs
  • Subsubsection 1.1.4.3: Ways to Contribute: Missing Examples
  • Subsubsection 1.1.4.4: Ways to Contribute: Questions
• Subsection 1.1.5: Frequently Asked Questions
  • Subsubsection 1.1.5.1: How does Clowder differ from the nLab?
  • Subsubsection 1.1.5.2: Why not just use the nLab instead?
• Subsection 1.1.6: Goodies
  • Subsubsection 1.1.6.1: General Utility
  • Subsubsection 1.1.6.2: Set Theory Through a Categorical Lens
  • Subsubsection 1.1.6.3: Category Theory