Jun 18, 2007 13:12
"В этот момент перед читателем открывается заманчивая перспектнва. Можно дать определение левого функтора-модуля над функтором-алгеброй Т; тогда ... и Т-объект будет ни чем иным, как левым функтором-модулем из однообъектной категории в категорию С. После этого мы можем довести нашу категорную теорию до полного логического совершенства: мы не только обходимся без элементов внутри ваших объектов, но можем даже избежать упоминания объектов внутри наших категорий; все вокруг нас станет функторами.
Будьте покойны: такую блестящую возможность специалисты по категориям никогда не упустят."
"Для реализации этой программы необходимо изрядное количество определений, теорем и доказательств, которые потребуют известных интеллектуальных усилий и могут устрашить тех, кто впервые со всем этим сталкивается; впрочем, многие читатели, возможно, вспомнят, как они испытывали аналогичные чувства в отношении спектральных последовательностей, теории пучков или каких-нибудь других подобных вещей, которые в настоящее время являются их любимым инструментом; так что скажем еще спасибо, что мы не занимаемся алгебраической геометрией."
"Мэй, как кажется, видит назначение теории в том, чтобы как можно скорее доказать необходимые теоремы и затем всецело углубиться в наше настоящее дело, которое мы так любим, т.е. вычислять разные вещи, действительно имеющие инвариантный смысл, как, скажем, гомологические операции."
math