Cf: Peirce's Categories • 17
At: http://inquiryintoinquiry.com/2020/05/07/peirces-categories-%e2%80%a2-17/
All,
I've been too immersed in the Peirce List discussion of Robert Marty's “Podium” paper to write much here — before I lose
track of what I've been thinking the last several days I'll need to ravel up my off-the-cuff remarks and pen them on the
sleeves of this blog.
Re: Peirce List
https://list.iupui.edu/sympa/arc/peirce-l/2020-04/thrd1.html#00020
https://list.iupui.edu/sympa/arc/peirce-l/2020-05/thrd2.html#00003
Re: Helmut Raulien
https://list.iupui.edu/sympa/arc/peirce-l/2020-04/msg00027.html
https://list.iupui.edu/sympa/arc/peirce-l/2020-05/msg00057.html
Helmut Raulien asked several questions about the composition, irreducibility, and reducibility of relations. For
background on relation composition as Peirce originally treated it, I referred him to Peirce's 1870 Logic Of Relatives,
especially the section titled “The Signs for Multiplication”, along with my commentary linked below.
• Peirce's 1870 Logic Of Relatives
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Overview
There is also this article:
• Relation Composition
https://oeis.org/wiki/Relation_composition
For readers who want to skip to the chase for the quickest possible overview, the sorts of pictures floating through my
head when I'm thinking about relational composition are the bipartite graph or “bigraph” pictures in the following section.
• Relation Composition • Graph-theoretic Picture
https://oeis.org/wiki/Relation_composition#Graph-theoretic_picture
I see these old articles have grown a bit dusty —
I'll be working to improve the graphics and text as I get time.
Resources
=========
• Precursors Of Category Theory
https://oeis.org/wiki/Precursors_Of_Category_Theory
• Survey of Precursors Of Category Theory
https://inquiryintoinquiry.com/2015/05/15/survey-of-precursors-of-category-theory-%e2%80%a2-1/
Regards,
Jon
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .