Collagories: relation-algebraic reasoning for gluing constructions
DOI10.1016/J.JLAP.2011.04.006zbMATH Open1216.68137OpenAlexW1994967437MaRDI QIDQ549680FDOQ549680
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
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
pushoutadhesive categoryallegoryco-tabulationcollagoryLax colimitlocally-ordered categoryreduct restrictionrelation-algebraic graph transformationsemi-unary algebraVan Kampen square
Grammars and rewriting systems (68Q42) Categories of spans/cospans, relations, or partial maps (18B10) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Title not available (Why is that?)
- Data Refinement
- Title not available (Why is that?)
- Title not available (Why is that?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Kleene algebra with domain
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- Van Kampen Colimits as Bicolimits in Span
- Adhesive high-level replacement systems: a new categorical framework for graph transformation
- Collagories for relational adhesive rewriting
- Amalgamating Pushout and Pullback Graph Transformation in Collagories
- Pushout-complements and basic concepts of grammars in toposes
Cited In (6)
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
- Van Kampen Colimits and Path Uniqueness
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
- Collagories for relational adhesive rewriting
- Towards Certifiable Implementation of Graph Transformation via Relation Categories
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)
