Quasitoposes, Quasiadhesive Categories and Artin Glueing
From MaRDI portal
Publication:3612498
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
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
