Arrows, structures and functor categorical imperative - Arbib Michael A; Manes Ernest G (N Y Academic Press, 1975)
Keywords: Arrows theory; Functor theory