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

**Mixed Motives**

by

**Marc Levine**-

**American Mathematical Society**

This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.

(

**11141**views)

**Higher-Dimensional Categories: an illustrated guide book**

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.

(

**9752**views)

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

(

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

(

**2818**views)