Introduction to Categories and Categorical Logic
by Samson Abramsky, Nikos Tzevelekos
Publisher: arXiv 2011
Number of pages: 101
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.
Home page url
Download or read it online for free here:
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.
by B. Eckmann - Springer
This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.
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.
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.