Toposes Are Adhesive
From MaRDI portal
Publication:3541959
DOI10.1007/11841883_14zbMath1157.18303OpenAlexW1523891492MaRDI QIDQ3541959
Stephen Lack, Paweł Sobociński
Publication date: 27 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11841883_14
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topoi (18B25) Grammars and rewriting systems (68Q42)
Related Items (17)
Van Kampen Colimits as Bicolimits in Span ⋮ Unfolding Grammars in Adhesive Categories ⋮ Fundamentals of compositional rewriting theory ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ Lex colimits ⋮ Semigroup actions on sets and the Burnside ring ⋮ Spans of cospans ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Decorated Corelations ⋮ New wide classes of weakly Mal'tsev categories ⋮ Partial pullback complement rewriting along admissible matches ⋮ Van Kampen Colimits and Path Uniqueness ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi ⋮ Rule Algebras for Adhesive Categories ⋮ Rule-based transformation of graph rewriting rules: towards higher-order graph grammars ⋮ Partial pullback complement rewriting
This page was built for publication: Toposes Are Adhesive
