category object with exactly one morphism leading to it from every object of the category
No description defined
