Ok. 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.