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: Category Theory for Computing ScienceCategory Theory for Computing Science
by - Prentice Hall
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.
(4294 views)
Book cover: Dynamical Systems and SheavesDynamical Systems and Sheaves
by - arXiv
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.
(1253 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.
(9332 views)
Book cover: Higher Operads, Higher CategoriesHigher Operads, Higher Categories
by - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
(7393 views)