more writing on Kan extensions and analytic functors