Adjoint functor theorems for homotopically enriched categories

DOI10.1016/J.AIM.2022.108812zbMATH Open1502.18014arXiv2006.07843OpenAlexW4311416214WikidataQ123285506 ScholiaQ123285506MaRDI QIDQ2111223FDOQ2111223

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

Publication date: 28 December 2022

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

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.

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

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

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)

Cites Work

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

Cited In (12)

• Hedetniemi's conjecture and adjoint functors in thin categories
• Title not available (Why is that?)
• Accessible \(\infty \)-cosmoi
• Accessible categories with a class of limits
• Homotopical adjoint lifting theorem
• Enriched weakness
• The core of adjoint functors
• Adjoint-triangle theorems for conservative functors
• On an adjoint functor to the Thom functor
• Some pairs of adjoint functors involving track homotopy categories
• Title not available (Why is that?)
• ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT -MODULES

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)