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
Category Theory for Computing Scienceby Michael Barr, Charles Wells - 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)
Dynamical Systems and Sheavesby D. I. Spivak, C. Vasilakopoulou, P. Schultz - 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)
Toposes, Triples and Theoriesby Michael Barr, Charles Wells - 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)
Higher Operads, Higher Categoriesby Tom Leinster - 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)