Jump to content

Strict initial object

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Tea2min (talk | contribs) at 10:17, 7 April 2021 (→top: Minimally more specific link.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In the mathematical discipline of category theory, a strict initial object is an initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism. If C is a Cartesian closed category, then any initial object 0 of C is strict.[1] Also, if C is a distributive or extensive category, then the initial object 0 of C is strict.[2]

References

  1. ^ McLarty, Colin (4 June 1992). Elementary Categories, Elementary Toposes. Clarendon Press. ISBN 0191589497. Retrieved 13 February 2017.
  2. ^ Carboni, Aurelio; Lack, Stephen; Walters, R.F.C. (3 February 1993). "Introduction to extensive and distributive categories". Journal of Pure and Applied Algebra. 84 (2): 145–158. doi:10.1016/0022-4049(93)90035-R.
Stub icon

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Strict_initial_object&oldid=1016469082"