General associativity and general composition for double categories
Robert Dawson, Robert Pare (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Robert Dawson, Robert Pare (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Brown, Ronald, Mosa, Ghafar H. (1999)
Theory and Applications of Categories [electronic only]
Similarity:
Stephen Lack, Paweł Sobociński (2005)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
Forcey, Stefan (2004)
Theory and Applications of Categories [electronic only]
Similarity:
Forcey, Stefan (2004)
Algebraic & Geometric Topology
Similarity:
Richard Garner (2006)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
G. M. Kelly, I. J. Le Creurer (1997)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Clementino, Maria Manuel, Hofmann, Dirk, Tholen, Walter (2003)
Theory and Applications of Categories [electronic only]
Similarity:
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Freyd, Peter, Street, Ross (1995)
Theory and Applications of Categories [electronic only]
Similarity: