Daily Archives: May 5, 2025

Survey of Relation Theory • 9

Posted on May 5, 2025 by Jon Awbrey

In the present Survey of blog and wiki resources for Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Formal Languages, Foundations of Mathematics, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Mathematics, Model Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Survey of Precursors Of Category Theory • 6

Posted on May 5, 2025 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, Foundations of Mathematics, Hilbert, Hypostatic Abstraction, Kant, Logic, Mathematics, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , | 2 Comments