Remarks on exactness notions pertaining to pushouts

Details Remarks on exactness notions pertaining to pushouts Remarks on exactness notions pertaining to pushouts

2012-01-04

arxiv.org/abs/1201.0805v1

Mathematics

Category Theory

7 pages

Scientific paper

We call a finitely complete category diexact if every Mal'cev 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 Mal'cev spans is diexact if and only if it admits a full structure-preserving embedding into a Grothendieck topos.

Affiliated with

Also associated with

No associations

Rating

Remarks on exactness notions pertaining to pushouts does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Remarks on exactness notions pertaining to pushouts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Remarks on exactness notions pertaining to pushouts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-156174