Adjoint functor theorems for homotopically enriched categories

DOI10.1016/J.AIM.2022.108812MaRDI QIDQ2111223zbMATHOpenAlexWikidataFDO

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

Publication date 28 December 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.07843

zbMATH Keywords

homotopy theoryenriched categoryadjoint functor theorem

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $mathcalV$ admitting certain limits. When $mathcalV$ 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 $mathcalV$ 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.

Recommendations

• On some new model category structures from old, on the same underlying category
• The core of adjoint functors
• Regular pairings of functors and weak (co)monads
• Enriched functor categories for functor calculus
• Enriched categories as a free cocompletion
• Enriched weakness
• Skew-enriched categories
• Publication:4508556
• Monoidal Morita equivalence
• Enriched model categories and presheaf categories

Cites work

• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A Quillen model structure for 2-categories
• A Quillen model structure for bicategories
• A characterization of pie limits
• Accessible Categories: The Foundations of Categorical Model Theory
• Accessible \(\infty \)-cosmoi
• Accessible aspects of 2-category theory
• Coherence for tricategories
• Elementary observations on 2-categorical limits
• Elements of \(\infty\)-category theory
• Enriched accessible categories
• Enriched weakness
• Equipping weak equivalences with algebraic structure
• Factorization, fibration and torsion
• Flat vs. filtered colimits in the enriched context
• Flexible limits for 2-categories
• Generalized sketches as a framework for completeness theorems. I-III
• Higher Topos Theory (AM-170)
• Homotopical algebra
• Homotopy-theoretic aspects of 2-monads
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Partitions of unity in the theory of fibrations
• Quasi-categories and Kan complexes
• Two-dimensional monad theory
• Weak adjoint functors
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so

Cited in

(17)

• Accessible \(\infty \)-cosmoi
• Some pairs of adjoint functors involving track homotopy categories
• The core of adjoint functors
• scientific article; zbMATH DE number 426315 (Why is no real title available?)
• Adjoint-triangle theorems for conservative functors
• ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT -MODULES
• Hedetniemi's conjecture and adjoint functors in thin categories
• Homotopy locally presentable enriched categories
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• Adjoint functor theorems for \(\infty\)-categories
• On an adjoint functor to the Thom functor
• Homotopical resolutions associated to deformable adjunctions
• Enriched weakness
• Accessible categories with a class of limits
• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
• Homotopical adjoint lifting theorem

This page was built for publication: Adjoint functor theorems for homotopically enriched categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2111223)