Is there an elementary topos which
- Is well-pointed
- Satisfies the internal axiom of choice
- Does not have a natural numbers object; and
- Is not the category of finite sets?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.Sign up to join this community