An embedding theorem for adhesive categories

MaRDI QIDQ5200296zbMATH OpenFDO

Authors Stephen Lack

Publication date 1 August 2011

Full work available at URL https://arxiv.org/abs/1103.0600, http://www.emis.de/journals/TAC/volumes/25/7/25-07abs.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

toposembedding theoremadhesive category

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Embedding theorems, universal categories (18B15)

Abstract: Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos.

Recommendations

• On the axioms for adhesive and quasiadhesive categories
• Embedding of Accessible Regular Categories
• Toposes Are Adhesive
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Foundations of Software Science and Computation Structures

Cited in

(9)

• On the axioms for adhesive and quasiadhesive categories
• Hedetniemi's conjecture and adjoint functors in thin categories
• Toposes Are Adhesive
• Embedding of Accessible Regular Categories
• Decorated Corelations
• Lex colimits
• A lattice-theoretical perspective on adhesive categories
• Foundations of Software Science and Computation Structures
• Artin glueings of toposes as adjoint split extensions

This page was built for publication: An embedding theorem for adhesive categories

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