Adhesivity with Partial Maps instead of Spans

DOI10.3233/FI-2012-704zbMath1267.68128MaRDI QIDQ2898462

Tobias Heindel

Publication date: 11 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

category theorygraph transformationadhesive categoriesdouble pushout rewritingcategorical framework

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categories of machines, automata (18B20)

Related Items (6)

Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework ⋮ Algebraic graph rewriting with controlled embedding ⋮ Partial pushout semantics of generics in DOL ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Partial pullback complement rewriting

This page was built for publication: Adhesivity with Partial Maps instead of Spans