У нас на семинаре как-то обсуждалось, какие можно придумать примеры строгих моноидальных категорий. Известно, что их мало в сравнении с
моноидальными категориями. Напомню, что «моноидальность» заключается в ведении операции, обычно обозначаемой ⊗, на объектах (и морфизмах, поскольку ⊗ должно быть бифунктором) категории; она превращает множество
(
Read more... )