**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

**Category Theory for Computing Science**

by

**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.

(

**5816**views)

**Category Theory for the Sciences**

by

**David I. Spivak**-

**The MIT Press**

This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.

(

**2983**views)

**Dynamical Systems and Sheaves**

by

**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.

(

**2707**views)

**Categorical Homotopy Theory**

by

**Emily Riehl**-

**Cambridge University Press**

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...

(

**1169**views)