English

Adjoint functor theorems for homotopically enriched categories

Category Theory 2022-12-13 v2

Abstract

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category V\mathcal V admitting certain limits. When V\mathcal V is equipped with the trivial model structure this recaptures the enriched version of Freyd's adjoint functor theorem. For non-trivial model structures, we obtain new adjoint functor theorems of a homotopical flavour - in particular, when V\mathcal V is the category of simplical sets we obtain a homotopical adjoint functor theorem appropriate to the \infty-cosmoi of Riehl and Verity. We also investigate accessibility in the enriched setting, in particular obtaining homotopical cocompleteness results for accessible \infty-cosmoi.

Keywords

Cite

@article{arxiv.2006.07843,
  title  = {Adjoint functor theorems for homotopically enriched categories},
  author = {John Bourke and Stephen Lack and Lukáš Vokřínek},
  journal= {arXiv preprint arXiv:2006.07843},
  year   = {2022}
}

Comments

Some updated terminology and minor changes. Final journal version

R2 v1 2026-06-23T16:18:33.150Z