Structure and Functors: The Categorical Imperative (1975)

by M Arbib, E Manes, Arrows