3 ms·
So what is your question? The standard definition of a topos spells out the structural constraints for subobject classifier, finite limits, and Cartesian closur
by soist 2y ago
So what is your question? The standard definition of a topos spells out the structural constraints for subobject classifier, finite limits, and Cartesian closure. You can write out these definitions for the topos of sets and any "small" structures in your topos which are points of the specified logical/structural variety will be small toposes internal to the topos of sets.
- auggierose 2y agoOk. So I need to stay awake until I understand these category theoretic concepts, and then I know what a topos is, I guess. Thank you, that was a very helpful conversation.
- soist 2y agoNo problem.