Adjoint functor theorems for ∞‐categories

DOI10.1112/JLMS.12282zbMATH Open1448.18004arXiv1803.01664OpenAlexW3098032169MaRDI QIDQ3296751FDOQ3296751

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)

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The 2-category theory of quasi-categories
• Triangulated categories
• Higher Topos Theory (AM-170)
• Quasi-categories and Kan complexes
• Cohomology theories
• Invariance de laK-Théorie par équivalences dérivées
• Algebraic \(K\)-theory and abstract homotopy theory
• On the algebraic \(K\)-theory of higher categories
• Pro-categories in homotopy theory
• On the Representability of Homotopy Functors
• Higher Categories and Homotopical Algebra
• The Homotopy Groups of Inverse Limits

Cited In (16)

• Title not available (Why is that?)
• Hedetniemi's conjecture and adjoint functors in thin categories
• The universal six-functor formalism
• The compact closed bicategory of left adjoints
• Higher homotopy categories, higher derivators, and K-theory
• Adjunction in 2-categories
• Accessible \(\infty \)-cosmoi
• Adjoint-triangle theorems for conservative functors
• Filtered \(cA_\infty\)-categories and functor categories
• Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
• Indexed type theories
• On an adjoint functor to the Thom functor
• Enhanced bivariant homology theory attached to six functor formalism
• Vopěnka's principle in \(\infty\)-categories
• Some pairs of adjoint functors involving track homotopy categories
• ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT -MODULES

This page was built for publication: Adjoint functor theorems for ∞‐categories

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