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

by

**Michael Barr, Charles Wells**

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.

(

**9884**views)

**Combinatorics and Algebra of Tensor Calculus**

by

**Sen Hu, Xuexing Lu, Yu Ye**-

**arXiv**

In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.

(

**4707**views)

**Category Theory for Scientists**

by

**David I. Spivak**-

**arXiv**

We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.

(

**7858**views)

**Categories and Homological Algebra**

by

**Pierre Schapira**-

**UPMC**

These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.

(

**8256**views)