Andrej Bauer: An introduction to categorical logic

Abstract: This will be a short tutorial on categorical logic. We shall explain how basic notions in logic, such as connectives and quantifiers, can be seen as universal constructions in category theory. We will also touch on the question of what categorical structure corresponds to the notion of logic.