Quantum Topology / Hopf Algebra Seminar
Jim Otto
UIC
Towards toposes and forcing: dependent types, toposes and presheaves
Abstract: We are working towards a double negation sheaves understanding of Cohen forcing,
roughly as in Johnstone's Dover book, but with P-names. We describe categories and toposes using
1st order dependent types. And we show that,
using the Yoneda lemma, categories of presheaves are toposes.
Thursday January 19, 2017 at 2:00 PM in SEO 612