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

Pete · @beyng
5 followers · 92 posts · Server zirk.us

From Forbes

Why News Organizations Need Philosophers On The Payroll
Theodore McDarrah

"For , philosophers alone have the tools to deal with ambiguous, metaphysical questions, and ’s philosophy—anything that needs to be proven— “carries no intrinsic weight in itself.” In other words, verifiable statements should not be a concern to ."

forbes.com/sites/teddymcdarrah

#heidegger #carnap #philosophers

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