Sheaf representation for topoi (1999)

by S Awodey
Venue:Journal of Pure and Applied Algebra