universal morphism
Appearance
English
[edit]Noun
[edit]universal morphism (plural universal morphisms)
- (category theory) The terminal object of a comma category from a functor to a fixed object; or, dually, the initial object of a comma category from a fixed object to a functor.