4
votes
1answer
1k views
A slick definition of the Kan extension?
Background:
The limit of a functor $F:D^{op}\to C$ is an object $\lim F$ representing the functor $$\ell F(x):=\operatorname{Psh}_D(\ast,C(x, F(\cdot))),$$ where $*$ denotes the t …

