Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be a posetal category, if for objects \(A,B \in \mathcal{C}\) there exists at most one morphism \(f \in \mathrm{Hom}_{\mathcal{C}}(A,B)\)
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:59