Jon Awbrey · @Inquiry
247 followers · 1784 posts · Server mathstodon.xyz

Survey of Precursors Of Category Theory • 4
inquiryintoinquiry.com/2023/08

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
oeis.org/wiki/Precursors_Of_Ca

Propositions As Types Analogy
oeis.org/wiki/Propositions_As_

Blog Series —

Notes On Categories
inquiryintoinquiry.com/2013/02

Precursors Of Category Theory
1. inquiryintoinquiry.com/2013/12
2. inquiryintoinquiry.com/2013/12
3. inquiryintoinquiry.com/2014/01

Precursors Of Category Theory • Discussion
1. inquiryintoinquiry.com/2020/09
2. inquiryintoinquiry.com/2020/09
3. inquiryintoinquiry.com/2020/09

Categories à la Peirce —

C.S. Peirce • A Guess at the Riddle
inquiryintoinquiry.com/2012/03

Peirce's Categories
1. inquiryintoinquiry.com/2015/10
2. inquiryintoinquiry.com/2015/10
3. inquiryintoinquiry.com/2015/11
•••
19. inquiryintoinquiry.com/2020/05
20. inquiryintoinquiry.com/2020/05
21. inquiryintoinquiry.com/2020/06




#universals #typetheory #propositionsastypes #peircescategories #hypostaticabstraction #continuouspredicate #RelationTheory #functionallogic #foundationsofmathematics #diagrams #categorytheory #analogy #abstraction #saundersmaclane #ackermann #hilbert #carnap #kant #Peirce #aristotle

Last updated 1 year ago

Jon Awbrey · @Inquiry
216 followers · 1478 posts · Server mathstodon.xyz

Survey of Precursors Of Category Theory
inquiryintoinquiry.com/2023/04

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.



#saundersmaclane #lambek #williamhoward #curry #carnap #ackermann #hilbert #schonfinkel #Peirce #kant #aristotle #propositionsastypesanalogy #combinatorylogic #categorytheory

Last updated 2 years ago