On the axioms for adhesive and quasiadhesive categories

zbMATH Open1248.18001arXiv1108.2934MaRDI QIDQ2884483FDOQ2884483

Authors: Richard Garner, Stephen Lack 

Publication date: 29 May 2012

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

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.

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

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

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

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)

Cited In (20)

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

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)