I had a fascinating chat with David about his work with topos theory and the continuum hypothesis. twitter.com/aperiodical/st…