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.