Jump to content

Internal category

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by BattyBot (talk | contribs) at 15:09, 5 August 2015 (fixed citation template(s) to remove page from Category:CS1 maint: Extra text & general fixes using AWB (11334)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, more specifically in category theory - internal categories are a generalisation of the notion of small category, and are defined with respect to a fixed ambient category. If the ambient category is taken to be the category of sets then one recovers the theory of small categories. In general, internal categories consist of a pair of objects in the ambient category - thought of as the 'object of objects' and 'object of morphisms', together with a collection of morphisms in the ambient category satisfying certain identities. Group objects, are common examples of internal categories.

There are notions of internal functors and natural transformations which make the collection of internal categories in a fixed category into a 2-category.

Definitions

Let be a category with pullbacks. An internal category in consists of the following data: two -objects named "object of objects" and "object of morphisms" respectively and four -arrows subject to coherence conditions expressing the axioms of category theory. See [1] [2] [3] [4] .

See also

References

  1. ^ Moerdijk, Saunders Mac Lane, Ieke (1992). Sheaves in geometry and logic : a first introduction to topos theory (2nd corr. print., 1994. ed.). New York: Springer-Verlag. ISBN 0-387-97710-4.{{cite book}}: CS1 maint: multiple names: authors list (link)
  2. ^ MacLane, Saunders (1998). Categories for the working mathematician (2. ed.). New York: Springer. ISBN 0-387-98403-8.
  3. ^ Borceux, Francis (1994). Handbook of categorical algebra. Cambridge: Cambridge University Press. ISBN 0-521-44178-1.
  4. ^ Johnstone, P.T. (1977). Topos theory. London: Academic Press. ISBN 0-12-387850-0.