Introduction to Categories and Categorical Logic
by Samson Abramsky, Nikos Tzevelekos
Publisher: arXiv 2011
Number of pages: 101
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
Home page url
Download or read it online for free here:
by D.E. Rydeheard, R.M. Burstall
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
by Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.
by P. J. Higgins - Van Nostrand Reinhold
A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.
by 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.