home.social

#saundersmaclane — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #saundersmaclane, aggregated by home.social.

  1. Survey of Precursors Of Category Theory • 6
    inquiryintoinquiry.com/2025/05

    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/2024/05
    2. inquiryintoinquiry.com/2024/05
    3. inquiryintoinquiry.com/2024/05
    4. inquiryintoinquiry.com/2024/05
    5. inquiryintoinquiry.com/2024/05
    6. inquiryintoinquiry.com/2024/05

    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

    C.S. Peirce and Category Theory
    1. inquiryintoinquiry.com/2021/06
    2. inquiryintoinquiry.com/2021/06
    3. inquiryintoinquiry.com/2021/06
    4. inquiryintoinquiry.com/2021/06
    5. inquiryintoinquiry.com/2021/06
    6. inquiryintoinquiry.com/2021/06
    7. inquiryintoinquiry.com/2021/07
    8. inquiryintoinquiry.com/2021/07

    #Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
    #Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
    #PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory