MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question

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.