In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical Logic and category theory.
Detailed references are provided and each section concludes with exercises..
Numerous applications of the close relationship between traditional Logic and the algebraic language of category theory are given.
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical Logic and category theory