## Categorical logic from a categorical point of view

Working draft of expanded lecture notes.  Comments and feedback are
welcome.  The file you want to compile is `catlog.tex`.