Н-моноид - Википедия - n-monoid
В теория категорий, а (строгий) п-моноид является п-категория только с одной 0-ячейкой. В частности, 1-моноид - это моноид а 2-моноид - это строгая моноидальная категория.
Рекомендации
- Альберт Буррони (1993). Проблемы с многомерными словами с приложениями к эквациональной логике (PDF). Теоретическая информатика.
дальнейшее чтение
Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |