nLab (infinity,1)-Kan extension


under construction


(,1)(\infty,1)-Category theory

Limits and colimits



The notion of (,1)(\infty,1)-Kan extension is the generalization of the notion of Kan extension from category theory to (∞,1)-category theory.



Independent of any models or concrete realizations chosen, the notion of (,1)(\infty,1)-Kan extension is intrinsically determined from just the notions of

In terms of these, for f:CCf : C \to C' any (∞,1)-functor and any (∞,1)-category AA, there is an induced (,1)(\infty,1)-functor f *:Func (,1)(C,A)Func (,1)(C,A)f^* : Func_{(\infty,1)}(C',A) \to Func_{(\infty,1)}(C,A).

The left (,1)(\infty,1)-Kan extension functor is the left adjoint (∞,1)-functor to f *f^*.

The right (,1)(\infty,1)-Kan extension functor is the right adjoint (∞,1)-functor to f *f^*.

Given different incarnations of or models for the notion of (∞,1)-category, there are accordingly different incarnations and models of this general abstract prescription.

In terms of quasi-categories

(LurieHTT, def.,

In terms of Kan-complex enriched categories

see homotopy Kan extension

In terms of simplicial model categories

see homotopy Kan extension


Pointwise (strong)

\infty-Kan extensions as above are pointwise/strong. That is in fact the very content of (LurieHTT, def.,

As adjoints to pullbacks

left/right \infty-Kan extension is left/right adjoint (∞,1)-functor to restriction. (LurieHTT, prop.


A general concept of (,1)(\infty,1)-Kan extensions in terms of quasi-categories are discussed in section 4.3 of

For simplicially enriched categories and model categories a discussion is in section A.3.3 there.

Coinciding left/right (ambidextrous) \infty-Kan extensions along maps of ∞-groupoids are discussed in

Pointwise homotopy Kan extensions are discussed in

See also

Last revised on July 10, 2016 at 05:41:24. See the history of this page for a list of all contributions to it.