But can I, can I move also a little bit on? Because, uh, one thing I wanted to, to hear from Urs is, uh, how does this lead us to homotopy type theory and, and, and, and, and these things? Because I, I know that you are interested in, in, in, in, in this stuff as well, and maybe you can say something about this.

Right.

So, so we've talked about how one way that one can see that toposes, ordinary toposes show up in physics by providing you a context for discussing more general spaces, differential geometric spaces or, or, I mean, there's more.

There's also super geometric space and so forth.

Anyway, so th- it's a way to give a home to the kind of spaces that appear in discussion of physical systems.

Um, but then it keeps going.

So that is only, um, we talk about mapping spaces.

So you touched quite a lot of disciplines.