Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994967437> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1994967437 endingPage "338" @default.
- W1994967437 startingPage "297" @default.
- W1994967437 abstract "The relation-algebraic approach to graph transformation has previously been formalised in the context of complete distributive allegories. Careful analysis reveals that the zero laws postulated for distributive allegories were never used, and that completeness was most importantly used for the difunctional closures necessary for a relation-algebraic characterisation of pushouts. We therefore define collagories essentially as “distributive allegories without zero morphisms”, and also define a variant of Kleene star to produce difunctional closures where necessary. Typical collagories relevant for generalised graph structure transformation can be obtained from basic collagories like that of sets and relations via nestable constructions of collagories of semi-unary algebras, which allow natural representations in particular of graph structures, also with fixed label sets, or with type graphs. Since collagories are intended as foundation for generalised graph structure transformation in the algebraic tradition, we concentrate particularly on co-tabulations, the core of the relation-algebraic gluing concept. We clarify the precise relationship between co-tabulations and pushouts, and investigate the special case of direct sums, which is particularly affected by the absence of zero laws. Finally, we consider Van Kampen squares, the central ingredient of the definition of adhesive categories that has recently become popular as foundation for algebraic graph transformation, and obtain an interesting characterisation of Van Kampen squares in collagories." @default.
- W1994967437 created "2016-06-24" @default.
- W1994967437 creator A5085148280 @default.
- W1994967437 date "2011-08-01" @default.
- W1994967437 modified "2023-10-18" @default.
- W1994967437 title "Collagories: Relation-algebraic reasoning for gluing constructions" @default.
- W1994967437 cites W1481710410 @default.
- W1994967437 cites W1547334701 @default.
- W1994967437 cites W1647909232 @default.
- W1994967437 cites W1837826463 @default.
- W1994967437 cites W1980794514 @default.
- W1994967437 cites W2054776476 @default.
- W1994967437 cites W2068047345 @default.
- W1994967437 cites W2163152086 @default.
- W1994967437 cites W4244873611 @default.
- W1994967437 cites W4254136620 @default.
- W1994967437 doi "https://doi.org/10.1016/j.jlap.2011.04.006" @default.
- W1994967437 hasPublicationYear "2011" @default.
- W1994967437 type Work @default.
- W1994967437 sameAs 1994967437 @default.
- W1994967437 citedByCount "8" @default.
- W1994967437 countsByYear W19949674372012 @default.
- W1994967437 countsByYear W19949674372014 @default.
- W1994967437 countsByYear W19949674372016 @default.
- W1994967437 countsByYear W19949674372017 @default.
- W1994967437 countsByYear W19949674372021 @default.
- W1994967437 countsByYear W19949674372023 @default.
- W1994967437 crossrefType "journal-article" @default.
- W1994967437 hasAuthorship W1994967437A5085148280 @default.
- W1994967437 hasConcept C11821877 @default.
- W1994967437 hasConcept C118615104 @default.
- W1994967437 hasConcept C132525143 @default.
- W1994967437 hasConcept C134306372 @default.
- W1994967437 hasConcept C136119220 @default.
- W1994967437 hasConcept C137212723 @default.
- W1994967437 hasConcept C202444582 @default.
- W1994967437 hasConcept C33923547 @default.
- W1994967437 hasConcept C78023250 @default.
- W1994967437 hasConcept C9376300 @default.
- W1994967437 hasConceptScore W1994967437C11821877 @default.
- W1994967437 hasConceptScore W1994967437C118615104 @default.
- W1994967437 hasConceptScore W1994967437C132525143 @default.
- W1994967437 hasConceptScore W1994967437C134306372 @default.
- W1994967437 hasConceptScore W1994967437C136119220 @default.
- W1994967437 hasConceptScore W1994967437C137212723 @default.
- W1994967437 hasConceptScore W1994967437C202444582 @default.
- W1994967437 hasConceptScore W1994967437C33923547 @default.
- W1994967437 hasConceptScore W1994967437C78023250 @default.
- W1994967437 hasConceptScore W1994967437C9376300 @default.
- W1994967437 hasIssue "6" @default.
- W1994967437 hasLocation W19949674371 @default.
- W1994967437 hasOpenAccess W1994967437 @default.
- W1994967437 hasPrimaryLocation W19949674371 @default.
- W1994967437 hasRelatedWork W1718701227 @default.
- W1994967437 hasRelatedWork W1992729023 @default.
- W1994967437 hasRelatedWork W2011271472 @default.
- W1994967437 hasRelatedWork W2142946601 @default.
- W1994967437 hasRelatedWork W2158253985 @default.
- W1994967437 hasRelatedWork W2559087450 @default.
- W1994967437 hasRelatedWork W2962874483 @default.
- W1994967437 hasRelatedWork W3126773016 @default.
- W1994967437 hasRelatedWork W37373053 @default.
- W1994967437 hasRelatedWork W4375947497 @default.
- W1994967437 hasVolume "80" @default.
- W1994967437 isParatext "false" @default.
- W1994967437 isRetracted "false" @default.
- W1994967437 magId "1994967437" @default.
- W1994967437 workType "article" @default.