По случаю продления стипендии решил себя побаловать покупкой "Higher Operads, Higher Categories" Лейнстера. Не могу теперь на неё нарадоваться. Вот например склейка цитат:
Let D be a free monoidal category containing a monoid, in the sense that for any monoidal category (E, ⊗, I) there is an equivalence
MonCat wk ((D,+,0),(E,⊗, I)) ≅ Mon(E,⊗,I
(
Read more... )