MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

This is a reverse of the question “Is there a finitely complete category with terminal object but NO subobject classifier?” From “An informal introduction to topos theory” by Tom Leinster I learned that there is 3 definitions of a subobject classifier in some category C:

  1. where we directly work with morphisms of C: for every monomorphism there exists a characteristic morphism etc.;
  2. a terminal object in the category of monomorphisms and pullback squares;
  3. the functor Sub is representable.

In order to make sense of (3) we need Sub which is defined via pullbacks in C. (3) requires C to have pullbacks. But (1) and (2) do not, though they imply existence of the terminal object. Is there a category with a subobject classifier and which is not finitely complete? (AFAIK subobject classifier → terminal object → (have pullbacks ↔ have finite limits = is finitely complete).)

share|cite|improve this question

Yes: take the full subcategory of $Set$ whose objects are sets of cardinality 2 or less.

share|cite|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.