Skip to main navigation Skip to search Skip to main content

Adjoint functor theorems for homotopically enriched categories

John Bourke*, Stephen Lack, Lukáš Vokřínek

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category V admitting certain limits. When 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 is the category of simplicial sets we obtain a homotopical adjoint functor theorem appropriate to the ∞-cosmoi of Riehl and Verity. We also investigate accessibility in the enriched setting, in particular obtaining homotopical cocompleteness results for accessible ∞-cosmoi.

Original languageEnglish
Article number108812
Pages (from-to)1-52
Number of pages52
JournalAdvances in Mathematics
Volume412
DOIs
Publication statusPublished - 1 Jan 2023

Keywords

  • Adjoint functor theorem
  • Enriched category
  • Homotopy theory

Fingerprint

Dive into the research topics of 'Adjoint functor theorems for homotopically enriched categories'. Together they form a unique fingerprint.

Cite this