The Clowder Project

Let $\mathcal{C}$ be a category.

1. We also write $\mathcal{C}\webleft (A,B\webright )$ for $\textup{Hom}_{\mathcal{C}}\webleft (A,B\webright )$.
2. We write $\textup{Mor}\webleft (\mathcal{C}\webright )$ for the class of all morphisms of $\mathcal{C}$.