Basic category theory for computer scientists
Categories and functors
Categories for the working mathematician
Categories, types, and structures. Introduction to category theory for computer scientists
Computational category theory
Diagonal Arguments and Cartesian Closed Categories
Exact categories and categories of sheaves
Functional Semantics of Algebraic Theories
Introduction to Bicategories
Ketegorien I
Ketegorien II
Sheaves in Geometry and Logic
Synthetic Differential Geometry
Topoi
Topoi (collected papers)
Triangulated categories
Triples, algebras and cohomology
Введение в теорию категорий и функторов
Теория топосов
Топосы. Категорный анализ логики.