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.
Recommendations
- How nice are free completions of categories?
- scientific article; zbMATH DE number 2114479
- Free globularily generated double categories
- scientific article; zbMATH DE number 872569
- The word problem for double categories
- Why categories?
- What do dg-categories form?
- Augmented virtual double categories
- Free compact 2-categories
- Dual category equivalence: a third way of analogy?
Cites work
- Catégories structurées
- Characterizing tileorders
- Determination of a double Lie groupoid by its core diagram
- Homotopy theory, and change of base for groupoids and multiple groupoids
- scientific article; zbMATH DE number 3986607 (Why is no real title available?)
- scientific article; zbMATH DE number 165006 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- The combinatorics of n-categorical pasting
- The geometry of tensor calculus. I
Cited in
(12)- Model structures on the category of small double categories
- Coherent confluence modulo relations and double groupoids
- scientific article; zbMATH DE number 165006 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 2114479 (Why is no real title available?)
- Double categories of relations
- Free globularily generated double categories
- The word problem for double categories
- Concurrent Process Histories and Resource Transducers
- A Thomason model structure on the category of small \(n\)-fold categories
- Protocol choice and iteration for the free cornering
- Situated transition systems
This page was built for publication: What is a free double category like?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957779)
