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