(no subject)

[leblon]

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

Comments

[leblon.livejournal.com]

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