@ocaramello Frustrating. I didn’t understand it and you can’t remember it. Will the discussions be included in the recordings?

@ocaramello Olivia - I think you misunderstand my question. I’m trying to catch up on the common understanding that seemed to underlie the panel ...

@ocaramello Thanks, yes I’d love to see your work with Zanfa when you have it complete. However, I sensed in this morning’s discussion that there ...

@matthias-hutzler Interestingly, that’s pretty much the way I defined general maps in “Sketches for arithmetic universes”. If T and T’ are two theo...

Correction - “Topical categories of domains” was 1999 - Steve.

@ocaramello Also in various papers of my own (all on my website) dating back to 1990 in [1] “Topical categories of domains”. [2] “Locales and topos...

@matthias-hutzler It's useful to remember that the geometric techniques allow you to define maps (geometric morphisms), not just equivalences. Fo...