(∞,1)-category theory
category theory
higher category theory
(n,r)-category
(∞,1)-category
hom-objects
equivalences in/of (∞,1)(\infty,1)-categories
sub-(∞,1)-category
reflective sub-(∞,1)-category
reflective localization
opposite (∞,1)-category
over (∞,1)-category
(∞,1)-functor
exact (∞,1)-functor
(∞,1)-category of (∞,1)-functors
(∞,1)-category of (∞,1)-presheaves
fibrations
inner fibration
left/right fibration
Cartesian fibration
limit
adjoint functors
locally presentable
essentially small
locally small
accessible
idempotent-complete
(∞,1)-Yoneda lemma
(∞,1)-Grothendieck construction
adjoint (∞,1)-functor theorem
(∞,1)-monadicity theorem
stable (∞,1)-category
(∞,1)-topos
category with weak equivalences
model category
derivator
quasi-category
model structure for quasi-categories
model structure for Cartesian fibrations
relation to simplicial categories
homotopy coherent nerve
simplicial model category
presentable quasi-category
Kan complex
Edit this sidebar
A relative version of the notion of adjoint (∞,1)-functors.
Section 1.2 of
Created on May 3, 2011 at 13:55:52. See the history of this page for a list of all contributions to it.