Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The subject line says it all, but perhaps it would be more reasonable to split the question into two parts: 1) can a pullback diagram also be a pushout diagram?; if so, 2) can necessary and sufficient conditions be given for this to happen?


share|improve this question
1) Sure, a square that is both a pull-back (cartesian) and a push-out (cocartesian) is called a bicartesian square (Freyd called them push-me pull-you first, then later Doolittle diagrams...). 2) I don't think that there is a general characterization without further assumptions on the morphisms and the surrounding category. For example, in additive categories you can show that the push-out under a kernel is also a pull-back if and only if the push-out of the kernel is a monic. –  t.b. Nov 12 '11 at 13:08
For the first question see also en.wikipedia.org/wiki/Pulation_square (and references give there.) –  Martin Sleziak Nov 12 '11 at 13:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.