Let \(\mathcal{C}\) be a category and \(A,B \in \mathrm{Ob}(\mathcal{C})\) The hom-set is the class of all morphisms \(f: A \rightarrow B\)
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 22:20