universal morphism

From Wiktionary, the free dictionary
Archived revision by MewBot (talk | contribs) as of 00:59, 30 July 2016.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

universal morphism (plural universal morphisms)

  1. (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.