HoTT/HoTT — pull request #269 by JasonGross (2013-11-25 22:02:09+00:00)
Title: Prove kan extensions/(co)limits are functorial

It follows very straightforwardly from the construction of adjoints of
initial/terminal morphisms, but required fixing a typo in the definition
of colimits (oops).

I renamed KanExtension/KanExtension.v to KanExtension/Core.v (and similarly for limits), to follow with the naming convention of other folders.