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: Higher Topos TheoryHigher Topos Theory
by - Princeton University Press
Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
(14923 views)
Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(13676 views)
Book cover: Toposes, Triples and TheoriesToposes, Triples and Theories
by - 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.
(16138 views)
Book cover: Categorical Homotopy TheoryCategorical Homotopy Theory
by - Cambridge University Press
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...
(5722 views)