Type Theory: It's the New Set Theory (Zoom for Thought 02/09/21)

Speaker: JJ Garzella (http://www.math.ucsd.edu/~jjgarzel/) Abstract: http://www.math.ucsd.edu/~fft/W21Abst... Zoom for Thought, the remote version of Food for Thought, is UCSD's math graduate student seminar. Please see our website https://math-old.ucsd.edu/~fft/ for more information.