Survey of Precursors Of Category Theory
• https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.

#CategoryTheory #CombinatoryLogic #LambdaCalculus #RelationTheory
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann #Carnap
#HaskellCurry #WilliamHoward #JoachimLambek #SaundersMacLane
#PropositionsAsTypesAnalogy #CurryHowardIsomorphism #Ulam