In this 2 part video is an example of only using universal properties instead of a diagram chase. This first part focused just on getting the connecting morphism. This part goes over how this links to a map of generalized elements as well as a natural transformation and use of Yoneda's lemma.
