Adhesive subcategories of functor categories with instantiation to partial triple graphs
From MaRDI portal
Publication:2292967
DOI10.1007/978-3-030-23611-3_3zbMath1429.68089OpenAlexW2954070759MaRDI QIDQ2292967
Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer
Publication date: 6 February 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-23611-3_3
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Functor categories, comma categories (18A25)
Related Items (6)
Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ A generalized concurrent rule construction for double-pushout rewriting
This page was built for publication: Adhesive subcategories of functor categories with instantiation to partial triple graphs
