Thursday, October 6, 2016 1:30 pm
-
1:30 pm
EDT (GMT -04:00)
Christopher Hawthorne, Pure Mathematics, University of Waterloo
We begin chapter 4 of Goldblatt. (Category theory background from chapter 3 will be assumed.) We introduce subobjects and subobject classifiers; time permitting, we will get to the definition of a topos.