Category Archives: Abstraction

Survey of Precursors Of Category Theory • 4

Posted on August 1, 2023 by Jon Awbrey

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 … Continue reading →

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Precursors Of Category Theory • 3

Posted on April 3, 2023 by Jon Awbrey

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 … Continue reading →

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 16

Posted on January 15, 2022 by Jon Awbrey

Re: Conceptual Graphs • Gary Zhu GZ: I’m quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Notes On Categories • 2

Posted on July 31, 2021 by Jon Awbrey

Re: Category Theory • Joe Moeller JM: In category theory, we have this perspective that we should focus attention on maps, on the relationships between objects, rather than on the objects themselves.  What’s your favorite examples of people giving a … Continue reading →

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 8

Posted on July 2, 2021 by Jon Awbrey

Re: Category Theory • Henry Story Re: Laws of Form • Lyle Anderson LA: As I am trying to get “frame sync” on this discussion, as the satellite communications people say, I am taking clues from the introduction to the … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 7

Posted on July 1, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: I’d be very interested in the comments of people who know about Peirce on the two chapters in the book Diagrammatic Immanence I linked to above on “3. Peirce” and “4. Diagrams of Variation : … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 6

Posted on June 30, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: I’d love it of course if all of Peirce’s graphs could be mapped to CT.  That would help me integrate that work a lot faster.  Or alternatively, if one could work out exactly … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 5

Posted on June 29, 2021 by Jon Awbrey

Re: C.S. Peirce and Category Theory • 2 Re: Category Theory • Henry Story • Avi Craimer • Henry Story Dear Avi, Henry, Diagrams are a mixed bag, a complex and polymorphic species, in Peircean semiotics.  All diagrams in common use, … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 4

Posted on June 28, 2021 by Jon Awbrey

Re: C.S. Peirce and Category Theory • 3 Re: Category Theory • Kyle Rivelli Dear Kyle, My Inquiry Into Inquiry blog has a Survey page where I collect blog and wiki resources on all the longer-running topics I write and … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce and Category Theory • 3

Posted on June 27, 2021 by Jon Awbrey

Re: Category Theory • Kyle Rivelli KR: I really enjoyed the Diagrammatic Immanence book. Gangle has another book that goes into more depth with Peirce: Gianluca Caterina and Rocco Gangle (2016), Iconicity and Abduction. Thanks, Kyle, I’ve been looking at … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment