Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London ...

A Collection of Lectures by Variuos Authors

A short introduction ideal for students learning category theory for the first time.

This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic ...

Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the ...