Logo

A Gentle Introduction to Category Theory: the calculational approach

A Gentle Introduction to Category Theory: the calculational approach
by

Publisher: University of Twente
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.

Home page url

Download or read it online for free here:
Download link
(390KB, PDF)

Similar books

Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by - University of Edinburgh
These notes were written for a 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.
(12183 views)
Book cover: Higher-Dimensional Categories: an illustrated guide bookHigher-Dimensional Categories: an illustrated guide book
by - 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.
(13831 views)
Book cover: Category Theory in ContextCategory Theory in Context
by - 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.
(6767 views)
Book cover: Abstract and Concrete Categories: The Joy of CatsAbstract and Concrete Categories: The Joy of Cats
by - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
(20389 views)