• Functoriality. The assignments $\mathcal{C},\mathcal{D},\webleft (\mathcal{C},\mathcal{D}\webright )\mapsto \mathsf{Fun}\webleft (\mathcal{C},\mathcal{D}\webright )$ define functors
    \begin{gather*} \begin{aligned} \mathsf{Fun}\webleft (\mathcal{C},-_{2}\webright ) & \colon \mathsf{Cats}\to \mathsf{Cats},\\ \mathsf{Fun}\webleft (-_{1},\mathcal{D}\webright ) & \colon \mathsf{Cats}^{\mathsf{op}} \to \mathsf{Cats}, \end{aligned}\\ \mathsf{Fun}\webleft (-_{1},-_{2}\webright ) \colon \mathsf{Cats}^{\mathsf{op}}\times \mathsf{Cats}\to \mathsf{Cats}. \end{gather*}

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: