Toposes Are Adhesive

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

Mathematics Subject Classification ID

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