Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A generic monomorphism is a monomorphism of which every monomorphisms in the same category is a pullback; it is like a subobject classifier without uniqueness. I am looking for a locally Cartesian closed regular category $C$ whose ex/reg completion is a topos, even though $C$ has no generic monomorphism.

Matias Menni proved that if a regular category is locally Cartesian closed and has a generic monomorphism, then its ex/reg completion is a topos. The ex/reg completion adds quotients objects to a category in a way that preserves all regular epimorphisms (in contrast to the exact or ex/lex completion, which only preserves split epimorphisms). I suspect that the converse is false, but I can't find any counterexamples.

share|improve this question

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.