A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga Version of June 6, 1994 c _ M.M. Fokkinga, 1992 Maarten M. Fokkinga University…