Collagories: relation-algebraic reasoning for gluing constructions (Q549680): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G15
@@ Property / Mathematics Subject Classification ID: 03G15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B10
@@ Property / Mathematics Subject Classification ID: 18B10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925508
@@ Property / zbMATH DE Number: 5925508 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relation-algebraic graph transformation
@@ Property / zbMATH Keywords: relation-algebraic graph transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+collagory
@@ Property / zbMATH Keywords: collagory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+allegory
@@ Property / zbMATH Keywords: allegory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+locally-ordered category
@@ Property / zbMATH Keywords: locally-ordered category / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semi-unary algebra
@@ Property / zbMATH Keywords: semi-unary algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reduct restriction
@@ Property / zbMATH Keywords: reduct restriction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+co-tabulation
@@ Property / zbMATH Keywords: co-tabulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Lax colimit
@@ Property / zbMATH Keywords: Lax colimit / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushout
@@ Property / zbMATH Keywords: pushout / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+adhesive category
@@ Property / zbMATH Keywords: adhesive category / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Van Kampen square
@@ Property / zbMATH Keywords: Van Kampen square / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2011.04.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1994967437
@@ Property / OpenAlex ID: W1994967437 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416071
@@ Property / cites work: Q3416071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Van Kampen Colimits as Bicolimits in Span
@@ Property / cites work: Van Kampen Colimits as Bicolimits in Span / rank @@
+Normal rank
@@ Property / cites work @@
+Collagories for Relational Adhesive Rewriting
@@ Property / cites work: Collagories for Relational Adhesive Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamating Pushout and Pullback Graph Transformation in Collagories
+Normal rank
@@ Property / cites work @@
+Pushout-complements and basic concepts of grammars in toposes
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680353
@@ Property / cites work: Q4680353 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549680