Категория модели
- Категория моделей — это категория, в которой все объекты являются модельными объектами.
- Модельные структуры в категориях моделей определяют различные эквивалентности и морфизмы.
- Примеры категорий с модельными структурами включают топологические пространства, цепные комплексы R-модулей и другие.
- Симплициальные объекты часто являются источником категорий моделей.
- Категория симплициальных моделей является симплициальной категорией со структурой модели.
- Категория функторов Fun (C, M) также может быть модельной категорией при определенных условиях.
- Каждая категория замкнутых моделей имеет конечный и начальный объекты.
- Гомотопическая категория модельной категории C определяется как локализация C относительно класса слабых эквивалентностей.
Полный текст статьи: