Quick surveys of categorical logic

For a philosophy article I need one or two comprehensive references to categorical logic, especially emphasizing the array of doctrines. I mean, from algebraic theories to left exact theories to coherent theories and such. I have hundreds of references. I need one or two. Very quick surveys are fine for this, even preferable. What is there? best, Colin