Quasitoposes, Quasiadhesive Categories and Artin Glueing

DOI10.1007/978-3-540-73859-6_21zbMath1214.18003OpenAlexW1500744869MaRDI QIDQ3612498

Stephen Lack, Paweł Sobociński, Peter T. Johnstone

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_21

Mathematics Subject Classification ID

Topoi (18B25) Grammars and rewriting systems (68Q42)

Related Items (14)

Van Kampen Colimits as Bicolimits in Span ⋮ Adhesive and quasiadhesive categories ⋮ Fundamentals of compositional rewriting theory ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity ⋮ Correctness of automatic differentiation via diffeologies and categorical gluing ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ Unnamed Item ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ New wide classes of weakly Mal'tsev categories ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Concurrency theorems for non-linear rewriting theories

This page was built for publication: Quasitoposes, Quasiadhesive Categories and Artin Glueing