All Questions
Tagged with category-theory universe
1
question
3
votes
1
answer
153
views
Stacks versus universes
This is a vague question, and I apologize in advance for it. I do not need a definite answer, I am happy to just get some general ideas.
An elementary topos can model higher order logic over a ...