Collagories: relation-algebraic reasoning for gluing constructions
type: Item
instance of: scholarly article
title: Collagories: relation-algebraic reasoning for gluing constructions
zbMATH Open document ID: 1216.68137
author: Wolfram Kahl
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-07-18T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 18B10
zbMATH DE Number: 5925508
zbMATH Keywords: relation-algebraic graph transformation
zbMATH Keywords: collagory
zbMATH Keywords: allegory
zbMATH Keywords: locally-ordered category
zbMATH Keywords: semi-unary algebra
zbMATH Keywords: reduct restriction
zbMATH Keywords: co-tabulation
zbMATH Keywords: Lax colimit
zbMATH Keywords: pushout
zbMATH Keywords: adhesive category
zbMATH Keywords: Van Kampen square
MaRDI profile type: Publication
full work available at URL: j.jlap.2011.04.006
OpenAlex ID: W1994967437
cites work: Data Refinement
cites work: Kleene algebra with domain
cites work: Q3416071
cites work: Q3995720
cites work: Van Kampen Colimits as Bicolimits in Span
cites work: Collagories for Relational Adhesive Rewriting
cites work: Amalgamating Pushout and Pullback Graph Transformation in Collagories
cites work: Pushout-complements and basic concepts of grammars in toposes
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Foundations of Software Science and Computation Structures
cites work: Adhesive and quasiadhesive categories
cites work: Q5287518
cites work: Q4680353
DOI: 10.1016/J.JLAP.2011.04.006
description: scientific article; zbMATH DE number 5925508