Causal loop summary of Grothendieck's method of progress and bottlenecks in mathematics and his category theory concepts of topos and schema, based on my gemini interaction using  Gene Bellinger's AI prompts