Эта «двуместная кровать» возникла (как по мановению волшебной палочки) с появлением идеи топоса. Эта идея охватывает в общетопологической интуиции как традиционные топологические пространства, олицетворяющие мир непрерывной величины, вместе с (самозванными) «пространствами» (или «многообразиями») неприкаянных служителей абстрактной алгебраической геометрии, так и бесчисленное множество других типов структур, до тех пор казавшихся безнадежными пленниками «арифметического мира» систем «разрывных», или «дискретных».
Концепция пучков и была тем безмолвным вожатым, тем действенным ключом (отнюдь не тайным), приведшим меня, не петляя и без проволочек, к супружеской опочивальне с просторным брачным ложем. Места в самом деле довольно; это ведь как широкая тихая река, чьи воды до того глубоки, что
«Всем царским коням заодно Допить до дна бы мудрено…» — как поется в старинной песенке, которую ты наверное певал и сам, или по меньшей мере слышал. И тот, кто спел ее первым, верней ощутил бы скрытую красоту и спокойную силу топоса, чем любой из моих ученых коллег, прежних учеников и друзей…
Ключ был один и тот же — как при первоначальном, предварительном подходе (через посредство весьма удобного, но менее подлинного понятия «ситуса»), так и в случае топоса. Идею топоса я хотел бы сейчас попытаться описать.
Рассмотрим совокупность всех пучков над заданным (топологическим) пространством, или, если угодно, тот диковинный арсенал, образованный всеми эталонами метра, служащими для его измерения>{47}. Мы рассмотрим эту «совокупность», или «арсенал», как снабженный наиболее очевидной структурой, которую ему можно приписать, так сказать, «на глазок» — именно, структурой, называемой «категорией». (Читателю, не знакомому с термином в техническом смысле, не о чем беспокоиться. Это совсем не понадобится в дальнейшем.) Это нечто вроде «сверхструктуры измерения» по имени «категория пучков» (над рассматриваемым пространством), которая впредь будет считаться как бы «воплощающей» то, что наиболее существенно для пространства. Это законно (с точки зрения «математического здравого смысла»), поскольку оказывается возможным «воссоздать» полностью исходное топологическое пространство>{47} в терминах «категории пучков» (или арсенала измерительных приборов), ему соответствующей. (Проверить это — простое упражнение; конечно, когда вопрос уже поставлен…) Ничего больше не нужно для уверенности в том, что (если это почему-либо для нас заманчиво) мы отныне можем «забыть» об исходном пространстве, чтобы держать в уме и использовать только соответствующую «категорию» (или «арсенал»), которая будет рассматриваться как наиболее адекватное олицетворение топологической (или «пространственной») структуры, о выражении которой идет речь.