Toposes as homotopy groupoids (1990)

by A Joyal, I Moerdijk
Venue:Advances in Mathematics 80