The -Categorical Reflection Theorem and Applications
In this paper we prove an -categorical version of the reflection theorem of Adámek-Rosický. Namely, that a full subcategory of a presentable -category which is closed under limits and -filtered colimits is a presentable -category. We then use this theorem in order to classify subcategories of a symmetric monoidal -category which are equivalent to a category of modules over an idempotent algebra.