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:
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: