Category Theory Lecture Notes
by Daniele Turi
Publisher: University of Edinburgh 2001
Number of pages: 61
Description:
These notes were written for an eighteen lectures course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.
Download or read it online for free here:
Download link
(540KB, 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.
(17227 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.
(16176 views)
Category Theory and Functional Programmingby Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(15275 views)
Category Theory in Contextby Emily Riehl - Dover Publications
This is a concise, original text for a one-semester introduction to the subject. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, monads, etc.
(11113 views)