(no subject)

[leblon]

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

Comments

[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]

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