Logo

Basic Category Theory by Jaap van Oosten

Small book cover: Basic Category Theory

Basic Category Theory
by

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

Home page url

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

Similar books

Book cover: Seven Sketches in Compositionality: An Invitation to Applied Category TheorySeven Sketches in Compositionality: An Invitation to Applied Category Theory
by - 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)
Book cover: Combinatorics and Algebra of Tensor CalculusCombinatorics and Algebra of Tensor Calculus
by - 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)
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.
(6898 views)
Book cover: A Gentle Introduction to Category Theory: the calculational approachA Gentle Introduction to Category Theory: the calculational approach
by - 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)