Adjoint functor theorems for -categories

DOI10.1112/JLMS.12282MaRDI QIDQ3296751zbMATH OpenOpenAlexFDO

Authors Hoang Kim Nguyen, Christoph Schrade, George Raptis

Publication date 1 July 2020

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

locally presentable category\(\infty\)-categoryBrown representabilityadjoint theorem

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $infty$-categories. One of our main results is an $infty$-categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for presentable $infty$-categories. We also discuss the comparison between adjunctions of $infty$-categories and homotopy adjunctions, and give a treatment of Brown representability for $infty$-categories based on Heller's purely categorical formulation of the classical Brown representability theorem.

Recommendations

• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
• Adjoint functor theorems for homotopically enriched categories
• On conjugates and adjoint descent
• A representability theorem for some huge abelian categories
• The monadic tower for \(\infty\)-categories

Cites work

• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Algebraic \(K\)-theory and abstract homotopy theory
• Cohomology theories
• Higher Topos Theory (AM-170)
• Higher categories and homotopical algebra
• Invariance of the \(K\)-theory for derived equivalences
• On the Representability of Homotopy Functors
• On the algebraic \(K\)-theory of higher categories
• Pro-categories in homotopy theory
• Quasi-categories and Kan complexes
• The 2-category theory of quasi-categories
• The Homotopy Groups of Inverse Limits
• Triangulated categories

Cited in

(19)

• Accessible \(\infty \)-cosmoi
• Some pairs of adjoint functors involving track homotopy categories
• scientific article; zbMATH DE number 6613495 (Why is no real title available?)
• Higher homotopy categories, higher derivators, and \(K\)-theory
• Spherical Monadic Adjunctions of Stable Infinity Categories
• Vopěnka's principle in \(\infty\)-categories
• Indexed type theories
• Adjoint-triangle theorems for conservative functors
• ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT -MODULES
• Hedetniemi's conjecture and adjoint functors in thin categories
• Adjunction in 2-categories
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• scientific article; zbMATH DE number 3851342 (Why is no real title available?)
• The compact closed bicategory of left adjoints
• Enhanced bivariant homology theory attached to six functor formalism
• The universal six-functor formalism
• Filtered \(cA_\infty\)-categories and functor categories
• On an adjoint functor to the Thom functor
• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

This page was built for publication: Adjoint functor theorems for \(\infty\)-categories

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