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.

Suppose that $\mathcal{C}$ is a balanced category with epimorphic images, that is, every bimorphism is an isomorphism, every morphism has an image and the image factorization is an epi-mono factorization. Under such hypotheses, is it true that epimorphisms are stable under pullback (if it exists)? Or at least that $ f(f^{-1}(S)) = S $, if it's defined, where $ f : A \rightarrow B $ is an epimorphism and $S$ is a subobject of $B$? I believe both should be false, but I was not able to provide a counterexample.

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.