writing on Kan extensions & analytic functors