noun
Meaning 1
The property of there being a unique morphism from an arbitrary object to the universal morphism of a comma category which is from a functor to a fixed object; or, dually, the property of there being a unique morphism from the universal morphism to an arbitrary object of a comma category which is from a fixed object to a functor. (Caveat: the uniqueness is up to isomorphism.)
Definition source: English Wiktionary via Wiktextract
Topics: mathematics, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided