This particular diagram expresses an equivalence: that in traveling from P to S, it does not matter whether we travel via Q or we travel via R, the end-result will be the same. (Category theory makes this notion of ???same-ness??? or equivalence quite precise; indeed, in some sense CT is a formal theory about different notions of equivalence and their relationship to one another.) Thus, the diagra