An introduction to fibrations, topos theory, the effective topos and modest sets. Lecture (0)

by W Phoa