Survey of Precursors Of Category Theory • 4
• http://inquiryintoinquiry.com/2023/08/01/survey-of-precursors-of-category-theory-4/

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.

Background —

Precursors Of Category Theory
• https://oeis.org/wiki/Precursors_Of_Category_Theory

Propositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_Analogy

Blog Series —

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/

Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/
2. https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/
3. https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/

Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/

Categories à la Peirce —

C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/

Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/

#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #Diagrams #FoundationsOfMathematics
#FunctionalLogic #RelationTheory #ContinuousPredicate #HypostaticAbstraction
#CategoryTheory #PeircesCategories #PropositionsAsTypes #TypeTheory #Universals

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 #PropositionsAsTypesAnalogy
#Aristotle #Kant #Peirce #Schönfinkel #Hilbert #Ackermann
#Carnap #Curry #WilliamHoward #Lambek #SaundersMacLane