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