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