Functors induced by comma categories

Suddhasattwa Das

2024-03-21

Abstract:The purpose of category theory is to provide a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. We extend this observation to a more general situation of two categories $\mathcal{A}$ and $\mathcal{B}$ mapping into a third category $\mathcal{C}$, via functors $F,G$. Such arrangements abound in mathematics \cite{Lawvere1963semantics}, and are studied via the comma category $\left[ F; G\right]$. Objects in this category are morphisms between objects of $\mathcal{A}$ and $\mathcal{B}$, via the functors $F,G$. We show that these objects also have a natural interpretation as functors between slice categories of $\mathcal{A}$ and $\mathcal{B}$. Thus even though $\mathcal{A}$ and $\mathcal{B}$ may have completely disparate structures, some functors between their slices can be interpreted as morphisms in $\mathcal{C}$.

Category Theory