(no subject)

[leblon]

Дурацкий вопрос: в стандартном определении пучка алгебр требуют, чтобы морфизмы ограничения были согласованы в точности, или только с точностью до сопряжения? Т.е. учитывают ли тот факт, что между гомомофизмами алгебр бывают нетривиальные 2-морфизмы?

Comments

[posic.livejournal.com]

В стандартном определении никаких 2-морфизмов не учитывают, безусловно. Пучок алгебр -- это пучок векторных пространств (или абелевых групп, или множеств) с дополнительной структурой алгебр на сечениях, согласованной с отображениями ограничения.

[leblon.livejournal.com]

А как тогда называется "пучок", где сопряжение учитывается? Т.е. где рассматривают алгебру как категорию с одним объектом.

[posic.livejournal.com]

Не знаю. Можно было бы назвать это "слабым пучком", или стеком каким-нибудь.

[roma.livejournal.com]

u tebja situacija, kogda horosho opredelena kategorija modulej, no ne puchok algebr? Takoe byvaet (kanonicheskoe kvantovanie, naprimer)

[leblon.livejournal.com]

Я просто до конца не осознавал, что пучок к-линейных категорий, где все категории весгда имеют один объект - это не совсем то же, что пучок алгебр.

[roma.livejournal.com]

chto znachit "vse kategorii vsegda imejut odin ob#ekt". Esli vydelena (lokal'no) proektivnaja obrazujuschjaja -- to est' algebra (ee avtormorfizmy). Esli net -- to algebry mozhet ne byt'.

[leblon.livejournal.com]

Ну как: допустим, у нас пучок категорий такой, что каждому открытому множеству сопоставляется категория с одним объектом. Т.е. алгебра. Тогда это почти пучок алгебр, только вот морфизмы ограничения согласованы только с точностью до сопряжения каким-то элементом алгебры.