John Carlos Baez on Nostr: - Maybe you know Urs was a co-blogger with me on the n-Category Cafe. He's been using ...

- Maybe you know Urs was a co-blogger with me on the n-Category Cafe. He's been using higher topos theory and other aspects of higher category theory in physics. I hadn't seen that he released a video claiming toposes aren't scary, though! (In fact he uses ∞-toposes, which are infinitely times as scary... hence still not scary.)