Basic Category Theory
by Jaap van Oosten
Publisher: University of Utrecht 2007
Number of pages: 88
Description:
Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.
Download or read it online for free here:
Download link
(500KB, PDF)
Similar books
Seven Sketches in Compositionality: An Invitation to Applied Category Theoryby Brendan Fong, David I Spivak - arXiv.org
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.
(1309 views)
Combinatorics and Algebra of Tensor Calculusby Sen Hu, Xuexing Lu, Yu Ye - arXiv
In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.
(2508 views)
Category Theory Lecture Notesby Daniele Turi - 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.
(6898 views)
A Gentle Introduction to Category Theory: the calculational approachby Maarten M. Fokkinga - University of Twente
These notes present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text introduces category theory in the calculational style of the proofs.
(13633 views)