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

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

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Accessible and locally presentable categories (18C35) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Embedding theorems, universal categories (18B15)

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

(20)

• Concurrency theorems for non-linear rewriting theories
• A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework
• A lattice-theoretical perspective on adhesive categories
• A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
• The Frobenius condition, right properness, and uniform fibrations
• Adhesive and quasiadhesive categories
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• A skew-duoidal Eckmann-Hilton argument and quantum categories
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
• An embedding theorem for adhesive categories
• A Generic Construction for Crossovers of Graph-Like Structures
• A living monograph for graph transformation
• Fuzzy presheaves are quasitoposes
• A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
• Rule algebras for adhesive categories
• Fundamentals of compositional rewriting theory
• Lax pullback complements and pullbacks of spans
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• Lex colimits

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)