Zulip Chat Archive
Stream: Copenhagen Masterclass 2023
Topic: Condensed sets are cartesian closed
Alex J. Best (Jun 26 2023 at 11:31):
I'll try working on this I think!
Johan Commelin (Jun 26 2023 at 14:41):
Will you do this for categories of sheaves in general?
Alex J. Best (Jun 26 2023 at 14:52):
Hopefully, still trying to work out what is the best way with what already is in mathlib
Last updated: Dec 20 2023 at 11:08 UTC