An introduction to fibrations, topos theory, the effective topos, and modest sets (1992)

by W Phoa