2017-03-30: Fredrik Nordvall Forsberg (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Fredrik Nordvall Forsberg (MSP)

Cubical adventures in Connecticut

Abstract

I'll report on my attempts to design a cubical type theory together with Dan Licata and Ed Morehouse during my visit to Wesleyan University, Middletown, Connecticut. We had something which seemed quite promising, but that falls apart just short of the finish line; I'll tell you about it in the hope of miraculous rescue from the audience. However, I'll start from basics so that everyone has a chance to join in in the fun. Mentions of Donald Trump will be kept to a minimum.

2017-03-30 14:00:00 UTC
LT1310