text: Вернувшись в Цюрих, он в 1968-69 годах предложил элементарные (касающиеся логики первого порядка) аксиомы топосов, обобщив понятие топоса Гротендика и продолжил работу над упрощением и применением теории вместе с алгебраическим топологом Майлсом Тирни.