Welcome to E-Books Directory
This is a freely downloadable e-book.

Introduction to Categories and Categorical Logic

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.

Home page url

 Download or read it online here:

Download link

 (710KB, PDF)