Category theory MOC

Overcategory

Let be an object of . The overcategory, denoted , is a category where an object is a morphism such that and a morphism is a commuting triangle, #m/def/cat i.e. a morphism such that .

#state/tidy | #lang/en | #SemBr