https://cattheory.subwiki.org/w/index.php?action=history&feed=atom&title=Final_objectFinal object - Revision history2026-05-21T08:14:42ZRevision history for this page on the wikiMediaWiki 1.41.2https://cattheory.subwiki.org/w/index.php?title=Final_object&diff=29&oldid=prevVipul: 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 ...2008-12-09T01:17:32Z<p>New page: {{basicdef}} ==Definition== ===Definition with symbols=== An object <math>A</math> in a <a href="/wiki/Category" title="Category">category</a> <math>\mathcal{C}</math> is termed a '''final object''' if for every object <math>B ...</p>
<p><b>New page</b></p><div>{{basicdef}}<br />
<br />
==Definition==<br />
<br />
===Definition with symbols===<br />
<br />
An object <math>A</math> in a [[category]] <math>\mathcal{C}</math> is termed a '''final object''' if for every object <math>B \in \mathcal{C}</math>, there is a ''unique'' morphism from <math>B</math> to <math>A</math>.<br />
<br />
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.<br />
<br />
==Related notions==<br />
<br />
* [[Initial object]]<br />
* [[Zero object]]</div>Vipul