(no subject)

[leblon]

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

Comments

[posic.livejournal.com]

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

[leblon.livejournal.com]

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

[posic.livejournal.com]

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