Tagged Questions

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 …