his paper attempts to explain perhaps the most succesful such organizing principle which has yet emerged, the theory of categories. The central concepts of category theory are arrow (or morphism), functor, naturality, and adjoint. (In a moment, I shall try to give the reader some idea of the meaning of these words.)