Here we list some of the other categories appearing throughout this work.
The category $\mathsf{Sets}_{*}$ of pointed sets of Chapter 6: Pointed Sets, Definition 6.1.3.1.1.
The category $\mathsf{Rel}$ of sets and relations of Chapter 8: Relations, Definition 8.3.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 11.10.1.1.1.
The category of categories $\mathsf{Cats}$ of Definition 11.10.2.1.1.
The category of groupoids $\mathsf{Grpd}$ of Definition 11.10.4.1.1.
