All Questions
Tagged with counterexamples locally-presentable-categories
2 questions
15
votes
2
answers
470
views
A locally presentable locally cartesian closed category that is not a quasitopos
This question asks for a locally presentable locally cartesian closed category that is not a topos. All the answers given (at least in the 1-categorical case) are quasitoposes. What is an example of ...
- 66.8k
7
votes
1
answer
452
views
Example of a locally presentable locally cartesian closed category which is not a topos?
The only way I know to get a locally cartesian closed category which is not a topos is to start with a topos and then throw out some objects so that the category is not sufficiently cocomplete to be a ...
- 64k