Topas Theory Learning Seminar

Edward Lee, University of Waterloo

“Topos Theory V”

We continue chapter 6 of Goldblatt; having developed classical propositional logic and Boolean algebras, we now turn to generalizing logical connectives and semantics to arbitrary topoi.

MC 5403