Colin the Mathmo on Nostr: I figured you would know about it... it's *so* not my area, but I read and nod along ...

I figured you would know about it... it's *so* not my area, but I read and nod along sagely. I can fake it to total non-mathematicians, but that's easy.

I'd like to know more, but life is short, and the work is long.

But if toposes are even *epsilon* scary then ∞-toposes still will be! So if he's claiming that ∞-toposes aren't scary, then than means toposes are at most infinitesimally so ...

Not sure I believe it.