Categorical Logic and Type Theory - This book is about logic, type theory and category theory. It assumes the reader is familiar with category theory concepts such as adjunctions, limits and CCCs. |

Categories for Types - This book takes a category theory approach to types and a bit easier pace than the B.Jacobs book. |