Subsection 3.2.1 (0006): $(-2)$-Categories — The Clowder Project

Table of Contents
Part 2: Sets
Chapter 3: Sets
Section 3.2: The Enrichment of Sets in Classical Truth Values
Subsection 3.2.1: $(-2)$-Categories (cite)

3.2.1 $(-2)$-Categories

Definition 3.2.1.1.1 ▶ $(-2)$-Categories

A $(-2)$-category is the “necessarily true” truth value.^1,2,3

¹Thus, there is only one $(-2)$-category.
²A $(-n)$-category for $n=3,4,\ldots $ is also the “necessarily true” truth value, coinciding with a $(-2)$-category.
³For motivation, see p. 13 of [BS, Lectures on $n$-Categories and Cohomology].

Statistics Cite

Noticed something off, or have any comments? Feel free to reach out!

•Email
•Discord

You can also use the contact form below: