Arrows Structures and Functors: The Categorical Imperative — Arbib Michael A. — libreta