п-моноид - n-monoid - Wikipedia

В теория категорий, а (строгий) п-моноид является п-категория только с одной 0-ячейкой. В частности, 1-моноид - это моноид а 2-моноид - это строгая моноидальная категория.

Рекомендации

  • Альберт Буррони (1993). Проблемы с многомерными словами с приложениями к эквациональной логике (PDF). Теоретическая информатика.

дальнейшее чтение