Solution sets to Lambek et al.'s Higher Categorical Logic.

This repository is kept in parallel with the CUNY Graduate Center reading group.

Please remember to do the exercises for yourself before copying these solutions!