Спор Экмана и Хилтона
- Экман и Хилтон предложили принцип, связывающий ассоциативность операций с моноидными структурами.
- Принцип утверждает, что если операции ассоциативны, то объект является моноидным и, следовательно, коммутативным моноидом.
- Этот аргумент является частным случаем использования закона взаимообмена в теории двойных и множественных категорий.
- История связана с желанием обобщить неабелеву фундаментальную группу на все измерения.
- Кубические высшие гомотопические группоиды построены для отфильтрованных пространств.
Полный текст статьи: