×

What is a free double category like? (English) Zbl 1008.18007

Double categories are part of the menagerie of higher-dimensional algebra. Introduced in the 1960s by Ehresmann, they form an important class of higher-dimensional categories. In this paper the authors describe the free double category on a double reflexive graph. The description given would seem to be of interest both for its combinatorial content and for its potential links with rewriting theory and concurrency in theoretical computer science.

MSC:

18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)

Software:

TeX
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Brown, R., Homotopy theory, and change of base for groupoids and multiple groupoids, Appl. Categorical Struct., 4, 175-193 (1996) · Zbl 0859.55001
[2] Brown, R.; Mackenzie, K. C.H., Determination of a double Lie groupoid by its core diagram, J. Pure Appl. Algebra, 80, 237-272 (1992) · Zbl 0766.22001
[3] Dawson, R.; Paré, R., General associativity and general composition for double categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 34, 57-79 (1993) · Zbl 0778.18005
[4] Dawson, R.; Paré, R., Characterising tileorders, Order, 10, 111-128 (1993) · Zbl 0790.05020
[5] Ehresmann, C., Catégories structurées, Ann. Sci. Ecole Norm. Sup., 80, 349-425 (1963) · Zbl 0128.02002
[6] Johnson, M., The combinatorics of \(n\)-categorical posting, J. Pure Appl. Algebra, 62, 211-225 (1989) · Zbl 0694.18007
[7] Joyal, A.; Street, R., The geometry of tensor calculus, I, Adv. in Math., 88, 55-112 (1991) · Zbl 0738.18005
[8] G.M. Kelly, R. Street, Review of the elements of 2-categories, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 75-103.; G.M. Kelly, R. Street, Review of the elements of 2-categories, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 75-103. · Zbl 0334.18016
[9] Knuth, D. E., The \(T_E\) X Book (1986), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0609.68001
[10] Lyndon, R.; Schupp, P., Combinatorial Group Theory (1977), Springer: Springer Berlin · Zbl 0368.20023
[11] Street, R., Categorical structures, (Hazewinkel, M., Handbook of Algebra, vol. 1 (1996), North-Holland: North-Holland Amsterdam), 529-577 · Zbl 0854.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.