References. Handbook of Categorical Algebra (Borceux) Kan Extensions are Partial Colimits (Perrone, Tholen) Tags: initial functor, problem with limits on intensional streams.
