We show that the polynomial functor preserve connected limits.

instance UvPoly.preservesConnectedLimitsOfShape_of_hasLimitsOfShape {C : Type u₁} [CategoryTheory.Category.{v₁, u₁} C] [CategoryTheory.Limits.HasPullbacks C] [CategoryTheory.Limits.HasTerminal C] {E B : C} {J : Type v₁} [CategoryTheory.SmallCategory J] [CategoryTheory.IsConnected J] [CategoryTheory.Limits.HasLimitsOfShape J C] (P : CategoryTheory.UvPoly E B) : CategoryTheory.Limits.PreservesLimitsOfShape J P.functor