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
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.