An embedding theorem for adhesive categories
From MaRDI portal
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Embedding theorems, universal categories (18B15) Topoi (18B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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
Cited in
(10)- Artin glueings of toposes as adjoint split extensions
- On the axioms for adhesive and quasiadhesive categories
- Embedding of Accessible Regular Categories
- Toposes Are Adhesive
- Lex colimits
- Decorated Corelations
- Foundations of Software Science and Computation Structures
- A lattice-theoretical perspective on adhesive categories
- Hedetniemi's conjecture and adjoint functors in thin categories
- On the axioms of \(\mathcal{M},\mathcal{N}\)-adhesive categories
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)
