Категория стабильной модели - Stable model category

В теория категорий, раздел математики, категория стабильной модели это категория остроконечной модели в котором функтор надстройки является эквивалентом гомотопической категории самой себе.

Типичные примеры - это категория спектры в теория стабильной гомотопии и категория цепного комплекса р-модули. С другой стороны, категория точечных топологических пространств и категория точечных симплициальных множеств не являются стабильными модельными категориями.

Любая стабильная модельная категория эквивалентна категории предварительные пучки спектров.[нужна цитата ]

Рекомендации

  • Марк Хови: Категории моделей, 1999, ISBN  0-8218-1359-5.