E. Wigner. The unreasonable effectiveness of mathematics in the natural sciences // Communications on Pure and Applied Mathematics. 1960. Vol. 13. P. 1–14

Топос – это категория с некоторой дополнительной структурой. Понятие топоса и сама конструкция были предложены в свое время величайшим математиком Александром Гротендиком для решения некоторых важных проблем, возникших в алгебраической геометрии

A. Badiou. Logics of worlds. N.Y.: Continuum, 2009