1 General ToolsChapter 1: Category TheorySection 1.1: Categories and FunctorsSection 1.2: Universal ConstructionSection 1.3: The Tensor ProductChapter 2: Gluing LemmasChapter 3: Inequalities and ComputationsSection 3.1: Dyadic Rational NumbersSection 3.2: Product InequalitiesChapter 4: NotationsPowered by Spec