Jean-Pierre Marquis and Gonzalo E. Reyes The History of Categorical Logic 1963–1977

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.