A model structure on the category of algebras over a enriched Lawvere theory

Abstract

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

In this paper, we construct the right transfer model structure on the category of algebras of an enriched algebraic theory in an enriched model category that satisfies certain properties. We also give several general constructions generating closed symmetric monoidal locally finitely presented categories that serve as a base of enrichment.