This document provides an introduction to the interaction between category 
theory and mathematical logic which is slanted towards computer scientists.