A Categorical Manifesto
Joseph Goguen
Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit.