Connected shapes

In this file we prove that various shapes are connected.

instance CategoryTheory.instIsConnectedWidePullbackShape {J : Type u_1} : IsConnected (Limits.WidePullbackShape J)

instance CategoryTheory.instIsConnectedWidePushoutShape {J : Type u_1} : IsConnected (Limits.WidePushoutShape J)