Adjoint functor theorems for -categories

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

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)

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

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

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

• The 2-category theory of quasi-categories
• Triangulated categories
• Higher Topos Theory (AM-170)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasi-categories and Kan complexes
• Cohomology theories
• Invariance of the \(K\)-theory for derived equivalences
• 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 (19)

• Title not available (Why is that?)
• Hedetniemi's conjecture and adjoint functors in thin categories
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• The universal six-functor formalism
• The compact closed bicategory of left adjoints
• Adjunction in 2-categories
• Accessible \(\infty \)-cosmoi
• Title not available (Why is that?)
• Adjoint-triangle theorems for conservative functors
• Higher homotopy categories, higher derivators, and \(K\)-theory
• 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
• Spherical Monadic Adjunctions of Stable Infinity Categories
• 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 \(\infty\)-categories

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