Asperti and Longo [1]: “The basic premise of category theory is that every kind of mathematically structured object comes equipped with a notion of [ : : : ] transformation, called `morphism’, that preserves the structure of the object.”

— A Gentle Introduction to Category Theory

— Maarten M. Fokkinga

2011.06.23 Thursday ACHK