А надо это, наверно, затем, что мультикатегории находятся в таком же отношении к операдам, как обычные категории к унитальным полугруппам (или предаддитивные категории -- к кольцам). Но это вы наверняка гораздо лучше меня понимаете, раз читали такую книжку.
Вроде, псевдотензорные -- это когда есть действие симметрической группы. Псевдомоноидальные --- это аналог несимметрической операды. Операда, кстати, по причинам, мне неизвестным, в русском языке женского рода.
Операда, конечно, женского рода, а вот такую разницу между моноидальными и тензорными категориями мне усвоить трудновато. Потому что тензорное произведение над некоммутативным кольцом несимметрично. Но это неважно, конечно.
О, вот, кстати, ты мне можешь внятно обьяснить такое? Есть понятие левого и правого псевдомоноидального модуля над псевдомоноидальной категорией. Ты сам его легко придумаешь, тут первое, что приходит в голову, верно. Теперь требуется написать бар-конструкцию для псевдомоноидальной категории и пары из ее левой и правой модульных категорий. Замечу, что ассоциативности везде нестрогие. Я даже знаю, где такое коротко написано, но по-моему, это очень хорошее упражхение для когомолога (а я его не сделал). Все участвующие категории можно считать ДГ. На выходе должла быть просто ДГ-категория.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-12-23 07:04 pm (UTC)no subject
Date: 2009-12-23 07:38 pm (UTC)no subject
Date: 2009-12-23 07:50 pm (UTC)no subject
Date: 2009-12-23 08:01 pm (UTC)no subject
Date: 2009-12-23 08:09 pm (UTC)no subject
Date: 2009-12-23 08:07 pm (UTC)no subject
Date: 2009-12-23 08:19 pm (UTC)no subject
Date: 2009-12-24 03:26 pm (UTC)Просто примеров мало в голову приходит.
Ну, так и должно быть.