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