Synthetic Stone duality
Date:
I was invited to participate in the Homotopy Type Theory Electronic Seminar Talks. The talk was recorded and can be found on youtube.
Date:
I was invited to participate in the Homotopy Type Theory Electronic Seminar Talks. The talk was recorded and can be found on youtube.