(no subject)

[timelets]

Thus Kan extensions are simply a method for taking two functors and coming up with a third functor that attempts to make a certain triangle make sense. Requiring this triangle to be commutative is too restrictive, so instead Kan extensions rely on natural transformations to help make the extension be the best possible approximation of F along K.




--- Marina Christina Lehner.