Introduction to Categories and Categorical Logic
by Samson Abramsky, Nikos Tzevelekos
Publisher: arXiv 2011
Number of pages: 101
Description:
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.
Download or read it online for free here:
Download link
(710KB, PDF)
Similar books
Seminar on Triples and Categorical Homology Theoryby B. Eckmann - Springer
This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.
(10199 views)
Abstract and Concrete Categories: The Joy of Catsby Jiri Adamek, Horst Herrlich, George Strecker - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
(16961 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.
(17355 views)
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.
(7945 views)