On the axioms for adhesive and quasiadhesive categories

zbMath1248.18001arXiv1108.2934MaRDI QIDQ2884483

Richard Garner, Stephen Lack

Publication date: 29 May 2012

Full work available at URL: https://arxiv.org/abs/1108.2934

zbMATH Keywords

locally presentable categoryYoneda functorlocally cartesian closed category(Grothendieck) (quasi)topos(pre-)adhesive morphism(rm-)(quasi)adhesive categoryeffective union of subobjectsseparated sheafstable pushouttopology on a categoryvan Kampen square

Mathematics Subject Classification ID

Topoi (18B25) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 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) Accessible and locally presentable categories (18C35) Embedding theorems, universal categories (18B15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (13)

Fundamentals of compositional rewriting theory ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework ⋮ 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 ⋮ Lex colimits ⋮ A skew-duoidal Eckmann-Hilton argument and quantum categories ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Unnamed Item ⋮ Rule Algebras for Adhesive Categories ⋮ Concurrency theorems for non-linear rewriting theories ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}

This page was built for publication: On the axioms for adhesive and quasiadhesive categories