Abstract
A brief introduction to Categorical Logic