Final object: Difference between revisions
(New page: {{basicdef}} ==Definition== ===Definition with symbols=== An object <math>A</math> in a category <math>\mathcal{C}</math> is termed a '''final object''' if for every object <math>B ...) |
(No difference)
|
Latest revision as of 01:17, 9 December 2008
This article is about a basic definition in category theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in category theory
Definition
Definition with symbols
An object in a category is termed a final object if for every object , there is a unique morphism from to .
If a final object exists, then any two final objects are isomorphic, and there is a unique isomorphism between any two final objects. In particular, the automorphism group of a final object is trivial.