The Clowder Project

Here we list some of the other categories appearing throughout this work.

1. 1. The category ${\mathsf{Sets}}_{\ast }$ of pointed sets of Chapter 4: Pointed Sets, Definition 4.1.3.1.1.
2. 2. The category $\mathsf{Rel}$ of sets and relations of Chapter 6: Relations, Definition 6.2.2.1.1.
3. 3. The category $\mathsf{Span}(A,B)$ of spans from a set $A$ to a set $B$ of .
4. 4. The category $\mathsf{ISets}\left(K\right)$ of $K$-indexed sets of , .
5. 5. The category $\mathsf{ISets}$ of indexed sets of , .
6. 6. The category $\mathsf{FibSets}\left(K\right)$ of $K$-fibred sets of , .
7. 7. The category $\mathsf{FibSets}$ of fibred sets of , .
8. 8. Categories of functors $\mathsf{Fun}(\mathcal{C},\mathcal{D})$ as in Definition 9.10.1.1.1.
9. 9. The category of categories $\mathsf{Cats}$ of Definition 9.10.2.1.1.
10. 10. The category of groupoids $\mathsf{Grpd}$ of Definition 9.10.4.1.1.