Arrows, structures and functors : the categorical imperative - Arbib, Michael A., 1940- (Academic Press, 1975)