Subterminal object
In category theory, a branch of mathematics, a subterminal object is an object X of a category C with the property that every object of C has at most one morphism into X.[1] If X is subterminal, then the pair of identity morphisms (1X, 1X) makes X into the product of X and X. If C has a terminal object 1, then an object X is subterminal if and only if it is a subobject of 1, hence the name.[2] The category of categories with subterminal objects and functors preserving them is not accessible.[3]
References
- ^ https://books.google.com/books?id=GJRQAAAAMAAJ
- ^ https://books.google.com/books?id=HCiqCAAAQBAJ
- ^ "On the limitations of sketches". Canadian Mathematical Bulletin. Vol. 35, no. 3. Canadian Mathematical Society. September 1992.
External links
- Subterminal object at the nLab
 | This category theory-related article is a stub. You can help Wikipedia by expanding it. |