Другие новости от posic.livejournal.com
Реклама на проекте
Место категорий контрамодулей в рамках общей теории категорий
Tuesday, 13 October, 21:10,
posic.livejournal.com
Равенство, в самом деле, довольно приблизительное; точнее было бы сказать, что категории модулей -- это абелевы категории Гротендика, допускающие одну компактную проективную образующую. Когда есть множество компактных проективных образующих -- это категория модулей над "большим кольцом" ( = аддитивных функторов из какой-то (пред)аддитивной категории в абелевы группы). Не знаю, насколько в таком виде это уже буквально верно, или надо еще какие-то условия добавить; но похоже, что близко к верному.
"Категории контрамодулей = (приблизительно) = абелевы λ-гротендиковы категории с достаточным количеством проективных объектов"
Здесь λ -- какой-то (лучше предполагать, что регулярный) кардинал; λ-гротендикова категория -- это абелева категория с множеством образующих, в которой существуют все прямые пределы, и точны функторы λ-направленных прямых пределов. (В частности, абелева категория Гротендика в обычном смысле -- это абелева ω-гротендикова категория, где ω обозначает счетную мощность.)
Current mood: не зря съездил в Брно!
Комментарии (0)