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)

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

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)