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}$.


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


You can also use the contact form below: