Here we list some of the other categories appearing throughout this work.
- The category $\mathsf{Sets}_{*}$ of pointed sets of Chapter 3: Pointed Sets, Definition 3.1.3.1.1.
- The category $\mathsf{Rel}$ of sets and relations of Chapter 5: Relations, Definition 5.2.1.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 8.9.1.1.1.
- The category of categories $\mathsf{Cats}$ of Definition 8.9.2.1.1.
- The category of groupoids $\mathsf{Grpd}$ of Definition 8.9.4.1.1.
