No label defined (Q4524285)

This article shows the great utility of commentaries on mathematical ideas and constructions, commentaries which must stay next to every technical papers. The paragraphs (0. The categorical tool applied to algebraic geometry led to the birth of toposes; 1. Functional analysis and algebraic topology need a common home with a flexible frame; 2. A flexible frame for logic and set theory is developed first; 3. Parameter spaces and Grothendick toposes relative to a base topos; 4. Function spaces and cohesive power sets; 5. Some classes of examples; 6. Some recent developments; 7. From and to continuum physics) are concentrated on the history of the mathematical ideas, both as a guide for those who want to learn and further develop these ideas and also as an aid for those who want to trace the dates and publications. A review of this article must be reduced to the invitation of reading it. For the entire collection see [Zbl 0947.00008].