Here we list some of the other categories appearing throughout this work.
- The category $\mathsf{Sets}_{*}$ of pointed sets of Chapter 4: Pointed Sets, Definition 4.1.3.1.1.
- The category $\mathsf{Rel}$ of sets and relations of Chapter 6: Relations, Definition 6.2.2.1.1.
-
The category $\mathsf{Span}\webleft (A,B\webright )$ of spans from a set $A$ to a set $B$ of
.
-
The category $\mathsf{ISets}\webleft (K\webright )$ of $K$-indexed sets of , .
-
The category $\mathsf{ISets}$ of indexed sets of , .
-
The category $\mathsf{FibSets}\webleft (K\webright )$ of $K$-fibred sets of , .
-
The category $\mathsf{FibSets}$ of fibred sets of , .
- Categories of functors $\mathsf{Fun}\webleft (\mathcal{C},\mathcal{D}\webright )$ as in Definition 9.10.1.1.1.
- The category of categories $\mathsf{Cats}$ of Definition 9.10.2.1.1.
- The category of groupoids $\mathsf{Grpd}$ of Definition 9.10.4.1.1.
