On the axioms for adhesive and quasiadhesive categories

MaRDI QIDQ2884483zbMATH OpenFDO

Authors Richard Garner, Stephen Lack

Publication date 29 May 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.2934, http://www.emis.de/journals/TAC/volumes/27/3/27-03abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

(Grothendieck) (quasi)topos(pre-)adhesive morphism(rm-)(quasi)adhesive categoryeffective union of subobjectslocally cartesian closed categorylocally presentable categoryseparated sheafstable pushouttopology on a categoryvan Kampen squareYoneda functor

Mathematics Subject Classification ID

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

Abstract: A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing with adhesive categories and their variants.

Recommendations

• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• An embedding theorem for adhesive categories
• Toposes Are Adhesive
• scientific article; zbMATH DE number 510337
• Foundations of Software Science and Computation Structures
• Remarks on exactness notions pertaining to pushouts
• scientific article; zbMATH DE number 3961917
• scientific article; zbMATH DE number 19034
• Are there convenient subcategories of Top?
• scientific article; zbMATH DE number 5180840

Cited in

(25)

• The Frobenius condition, right properness, and uniform fibrations
• Concurrency theorems for non-linear rewriting theories
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• A skew-duoidal Eckmann-Hilton argument and quantum categories
• Rule algebras for adhesive categories
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Lax pullback complements and pullbacks of spans
• Lex colimits
• An embedding theorem for adhesive categories
• Adhesive and quasiadhesive categories
• Fundamentals of compositional rewriting theory
• 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
• A lattice-theoretical perspective on adhesive categories
• A Generic Construction for Crossovers of Graph-Like Structures
• Fuzzy presheaves are quasitoposes
• A living monograph for graph transformation
• Left-linear rewriting in adhesive categories
• Moving a derivation along a derivation preserves the spine in adhesive categories
• On the axioms of \(\mathcal{M},\mathcal{N}\)-adhesive categories
• Termination of graph transformation systems using weighted subgraph counting
• Strict universes for Grothendieck topoi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884483)