conceptual methematics: A first introduction to categories - Lax, Peter (Cambridge, 1997)