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

**Model Categories and Simplicial Methods**

by

**Paul Goerss, Kristen Schemmerhorn**-

**Northwestern University**

There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.

(

**5857**views)

**Basic Category Theory**

by

**Jaap van Oosten**-

**University of Utrecht**

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.

(

**7680**views)

**Higher Topos Theory**

by

**Jacob Lurie**-

**Princeton University Press**

Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

(

**7421**views)

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

(

**4861**views)