connected (category theory)