What is a free double category like? (Q5957779)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: What is a free double category like? |
scientific article; zbMATH DE number 1719034
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | What is a free double category like? |
scientific article; zbMATH DE number 1719034 |
Statements
What is a free double category like? (English)
0 references
24 July 2002
0 references
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.
0 references
double categories
0 references
higher-dimensional algebra
0 references
double reflexive graph
0 references
rewriting theory
0 references
0.7136035
0 references
0.6798451
0 references
0.65603447
0 references
0 references
0 references
