Here we list some of the other categories appearing throughout this work.
-
1.
The category $\mathsf{Sets}_{*}$ of pointed sets of Chapter 6: Pointed Sets, Definition 6.1.3.1.1.
-
2.
The category $\mathsf{Rel}$ of sets and relations of Chapter 8: Relations, Definition 8.3.2.1.1.
-
3.
The category $\mathsf{Span}\webleft (A,B\webright )$ of spans from a set $A$ to a set $B$ of
, .
-
4.
The category $\mathsf{ISets}\webleft (K\webright )$ of $K$-indexed sets of
, .
-
5.
The category $\mathsf{ISets}$ of indexed sets of
, .
-
6.
The category $\mathsf{FibSets}\webleft (K\webright )$ of $K$-fibred sets of
, .
-
7.
The category $\mathsf{FibSets}$ of fibred sets of
, .
-
8.
Categories of functors $\mathsf{Fun}\webleft (\mathcal{C},\mathcal{D}\webright )$ as in Definition 11.10.1.1.1.
-
9.
The category of categories $\mathsf{Cats}$ of Definition 11.10.2.1.1.
-
10.
The category of groupoids $\mathsf{Grpd}$ of Definition 11.10.4.1.1.
