Geodesic
Remarks on exactness notions pertaining to pushouts
Theory and applications of categories, CT2011, Tome 27 (2012), pp. 2-9

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We call a finitely complete category diexact if every difunctional relation admits a pushout which is stable under pullback and itself a pullback. We prove three results relating to diexact categories: firstly, that a category is a pretopos if and only if it is diexact with a strict initial object; secondly, that a category is diexact if and only if it is Barr-exact, and every pair of monomorphisms admits a pushout which is stable and a pullback; and thirdly, that a small category with finite limits and pushouts of difunctional relations is diexact if and only if it admits a full structure-preserving embedding into a Grothendieck topos.

Publié le :
Classification : 18A30, 18B25
Keywords: Exactness, pushouts, difunctional relation 
@article{TAC_2012_27_a0,
     author = {Richard Garner},
     title = {Remarks on exactness notions pertaining to pushouts},
     journal = {Theory and applications of categories},
     pages = {2--9},
     publisher = {mathdoc},
     volume = {27},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2012_27_a0/}
}
TY  - JOUR
AU  - Richard Garner
TI  - Remarks on exactness notions pertaining to pushouts
JO  - Theory and applications of categories
PY  - 2012
SP  - 2
EP  - 9
VL  - 27
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2012_27_a0/
LA  - en
ID  - TAC_2012_27_a0
ER  - 
%0 Journal Article
%A Richard Garner
%T Remarks on exactness notions pertaining to pushouts
%J Theory and applications of categories
%D 2012
%P 2-9
%V 27
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2012_27_a0/
%G en
%F TAC_2012_27_a0
Richard Garner. Remarks on exactness notions pertaining to pushouts. Theory and applications of categories, CT2011, Tome 27 (2012), pp. 2-9. http://geodesic.mathdoc.fr/item/TAC_2012_27_a0/