Double category

Last updated

In mathematics, especially category theory, a double category is a generalization of a category where instead of morphisms, we have vertical morphisms, horizontal morphisms and 2-morphisms. Introduced by Ehresmann in 1960s, [1] [2] the notion may be compared with that of a bicategory; namely, the notion of a bicategory is obtained by enrichment, while the notion of a double category is obtained by internalization. [3] Precisely, a double category is a category internal to Cat (roughly meaning a category object). [4]

Contents

Just as iterating the process of obtaining the notion of a 2-category leads to that of an n-category, iterating the process for a double category leads to that of an n-fold category.

Footnotes

  1. C. Ehresmann. Catégories Structurées. Ann. Sci. Ecole Norm. Sup 80, pp 349-425. 1963.
  2. C. Ehresmann. Catégories et Structures, Dunod, Paris, 1965.
  3. Morton 2009 , § 1. Introduction.
  4. Morton 2009 , Definition 2.2.1.

References

Further reading