Collagories: relation-algebraic reasoning for gluing constructions

DOI10.1016/J.JLAP.2011.04.006MaRDI QIDQ549680zbMATH OpenOpenAlexFDO

Authors 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

pushoutadhesive categoryallegoryco-tabulationcollagoryLax colimitlocally-ordered categoryreduct restrictionrelation-algebraic graph transformationsemi-unary algebraVan Kampen square

Mathematics Subject Classification ID

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

Recommendations

• Collagories for relational adhesive rewriting
• Amalgamating pushout and pullback graph transformation in collagories
• Allegories and collagories for transformation of graph structures considered as coalgebras
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Algebraic transformation of unary partial algebras. I: Double-pushout approach

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Adhesive and quasiadhesive categories
• Adhesive high-level replacement systems: a new categorical framework for graph transformation
• Amalgamating pushout and pullback graph transformation in collagories
• Collagories for relational adhesive rewriting
• Data Refinement
• Foundations of Software Science and Computation Structures
• Kleene algebra with domain
• Pushout-complements and basic concepts of grammars in toposes
• Van Kampen colimits as bicolimits in Span

Cited in

(7)

• Amalgamating pushout and pullback graph transformation in collagories
• Van Kampen Colimits and Path Uniqueness
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
• Towards certifiable implementation of graph transformation via relation categories
• Collagories for relational adhesive rewriting
• Allegories and collagories for transformation of graph structures considered as coalgebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549680)