En "Récoltes et Semailles"(- Grothendieck), hay un momento cuando el autor habla de la idea de las poleas de los conjuntos de más de un espacio topológico, entonces, toma la categoría de poleas (de conjuntos de más de un espacio topológico):
[La categoría de poleas] funciona como una especie de "superestructura de medición", se llama el "La categoría de Gavillas" ( por el espacio), que en adelante será tomado de incoorporate todo lo que hay de más esencial acerca de ese espacio. Este es en todos los aspectos de un procedimiento legal, ( en términos de "matemática común sentido") porque resulta que uno puede "reconstituir" en todos los aspectos, el topológica del espacio por medio de la "asociado a la categoría de gavillas" ( o "arsenal" de los instrumentos de medición) (Para el matemático lector) Estrictamente hablando, esto sólo es cierto para los llamados "domar" a los espacios. Sin embargo, estos incluyen prácticamente todos los de la espacios uno tiene que lidiar con, en particular, los "espacios separables", tan querido analistas funcionales.
( La verificación de que este es un ejercicio simple - una vez que alguien piensa que a plantear la pregunta, naturalmente) Uno no necesita nada más ( si uno siente la necesidad de una razón u otra), a partir de ahora puede uno dejar el espacio inicial y sólo aferrarse a sus asociados "categoría" ( o su "arsenal"), que debe ser considerada como la más completa encarnación de la "topológico (o espacial) de la estructura", que ejemplifica
(Traducción al inglés por Roy Lisker)
Ahora, mi pregunta es: ¿cuál es el significado de esta parte, sobre todo la parte cuando dice que uno puede "reconstituir" en todos los aspectos de la topológica del espacio por medio de la "asociado a la categoría de gavillas"?
