A Gentle Introduction to Category Theory - the calculational approach
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Maarten M. Fokkinga; Dept. of Computer Science, University of Twente, The Netherlands|
|Lecture notes introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. Download the full text in postscript format.|
|Resource Types:||Course Notes|
|Math Topics:||Category Theory/Homological Algebra|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.