Collagories: relation-algebraic reasoning for gluing constructions

DOI10.1016/j.jlap.2011.04.006zbMath1216.68137MaRDI QIDQ549680

Wolfram Kahl

Publication date: 18 July 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.04.006

zbMATH Keywords

pushout; allegory; adhesive category; co-tabulation; collagory; Lax colimit; locally-ordered category; reduct restriction; relation-algebraic graph transformation; semi-unary algebra; Van Kampen square

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

03G15: Cylindric and polyadic algebras; relation algebras

18B10: Categories of spans/cospans, relations, or partial maps

Related Items

Van Kampen Colimits and Path Uniqueness, Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras, Towards Certifiable Implementation of Graph Transformation via Relation Categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pushout-complements and basic concepts of grammars in toposes
• A completeness theorem for Kleene algebras and the algebra of regular events
• Van Kampen Colimits as Bicolimits in Span
• Collagories for Relational Adhesive Rewriting
• Data Refinement
• Amalgamating Pushout and Pullback Graph Transformation in Collagories
• Kleene algebra with domain
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories