A Gentle Introduction to Category Theory: the calculational approach
by Maarten M. Fokkinga
Publisher: University of Twente 1994
Number of pages: 80
Description:
In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text differs from most other introductions to category theory in the calculational style of the proofs, the restriction to applications within algorithmics, and the omission of many additional concepts and facts that I consider not helpful in a first introduction to category theory.
Download or read it online for free here:
Download link
(390KB, PDF)
Similar books
Toposes, Triples and Theoriesby Michael Barr, Charles Wells - Springer-Verlag
Introduction to toposes, triples and theories and the connections between them. The book starts with an introduction to category theory, then introduces each of the three topics of the title. Exercises provide examples or develop the theory further.
(15630 views)
Notes on Category Theory with examples from basic mathematicsby Paolo Perrone - arXiv
These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics.
(1603 views)
Category Theory for the Sciencesby David I. Spivak - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
(8517 views)
Higher-Dimensional Categories: an illustrated guide bookby Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.
(14420 views)