Collagories: relation-algebraic reasoning for gluing constructions

DOI10.1016/j.jlap.2011.04.006zbMath1216.68137OpenAlexW1994967437MaRDI 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

pushoutallegoryadhesive categoryco-tabulationcollagoryLax colimitlocally-ordered categoryreduct restrictionrelation-algebraic graph transformationsemi-unary algebraVan Kampen square

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Cylindric and polyadic algebras; relation algebras (03G15) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (max. 100)

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras ⋮ Towards Certifiable Implementation of Graph Transformation via Relation Categories ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Van Kampen Colimits and Path Uniqueness ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}

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

This page was built for publication: Collagories: relation-algebraic reasoning for gluing constructions