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