Категория буровой установки
-
Определение категории буровой установки
- Категория буровой установки имеет две моноидальные структуры и распределение естественных изоморфизмов.
- Уничтожение естественных изоморфизмов также присутствует.
- Все структуры должны удовлетворять условиям согласованности.
-
Примеры категорий буровых установок
- Множество с непересекающимся объединением и декартовым произведением является примером.
- Категория векторных пространств над полем с прямой суммой и тензорным произведением также является примером.
-
Усовершенствование требований
- Строгие изоморфизмы не дают полезного определения, так как приводят к вырожденной структуре.
- Большинство изоморфизмов могут быть преобразованы в равенства.
-
Полустрогая категория буровой установки
- Категория буровой установки является полустрогой, если обе моноидальные структуры строгие, оба уничтожителя равны и один из распределителей равен.
- Любая категория буровых установок эквивалентна полустрогой.
-
Рекомендации
- Категория буровых установок описана в лаборатории nLab.
Полный текст статьи: