Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive ...

Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer ...

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors ...

Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, quasitopoi have ...

The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for ...

Algebra, Topology, and Category Theory: A Collection of Papers in Honor of Samuel Eilenberg is a collection of papers dealing with algebra, topology, and category theory in ...