Homotopy types for "gros" toposes

Jibladze, Mamuka
(2001)