Definition 1.1.1 (Category). A category $\catc$ is a collection of objects $\obj{\catc}$, such that for any $A, B, C \in \obj{\catc}$, there exists sets $\mor{A, B}$, $\mor{B, C}$, and a composition law

that satisfies the following axioms:

1. For any $A, B, A', B' \in \obj{\catc}$, $\mor{A, B}$ and $\mor{A', B'}$ are disjoint or equal, where $\mor{A, B}= \mor{A', B'}$ if and only if $A = A'$ and $B = B'$.

2. For any $A \in \obj{\catc}$, there exists $\text{Id}_{A} \in \mor{A, A}$ such that $f \circ \text{Id}_{A} = f$ and $\text{Id}_{A} \circ g = g$ for all $B, C \in \obj{\catc}$, $f \in \mor{A, B}$, and $g \in \mor{C, A}$.

3. For any $A, B, C, D \in \obj{\catc}$, $f \in \mor{A, B}$, $g \in \mor{B, C}$, and $h \in \mor{C, D}$, $(h \circ g) \circ f = h \circ (g \circ f)$.

The elements of $\obj{\catc}$ are the objects of $\catc$, and elements of $\mor{A, B}$ are the morphisms/arrows from $A$ to $B$.