>Jean-Pierre Marquis and Gonzalo E. Reyes [The History of Categorical Logic 1963–1977](https://www.google.co.in/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwi-xNCppKHVAhWKW7wKHaVqBYEQFgglMAA&url=https%3A%2F%2Fwww.webdepot.umontreal.ca%2FUsagers%2Fmarquisj%2FMonDepotPublic%2FHistofCatLog.pdf&usg=AFQjCNELZe0hKXGlrLW43SjyoUJFto0nTA) 

The above article discusses the history of the development of categorical logic starting from a brief historical sketch of the birth of Category Theory and its early developments.