An embedding theorem for adhesive categories

zbMATH Open1247.18002arXiv1103.0600MaRDI QIDQ5200296FDOQ5200296

Authors: Stephen Lack 

Publication date: 1 August 2011

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.

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

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

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

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)

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)