TY - BOOK AU - Arbib Michael A AU - Manes Ernest G TI - Arrows, structures and functor: categorical imperative U1 - 512.55 PY - 1975/// CY - N Y PB - Academic Press KW - Arrows theory KW - Functor theory ER -