#categorytheory — Public Fediverse posts

One of the miraculous proofs truly foundational of #categoryTheory - the proof that product (and any other object that is defined using universal property) is unique up to a (unique) isomorphism.

I have to remember to include it in #categorytheoryillustrated

https://proofwiki.org/wiki/Product_%28Category_Theory%29_is_Unique

New paper: "Valuation Without ℝ: A Category-Theoretic Foundation for Finite Measurement"

Can measurement be formalized independently of real numbers AND set theory?

We axiomatize "valuation" as a graded distinguishability map satisfying the ultrametric inequality. Dimension emerges as the growth exponent of the distinguishability graph.

Full paper: https://doi.org/10.5281/zenodo.21795656

#pAdic #QuantumFoundations #CategoryTheory #Measurement

A final monad theory blog post in the current series about transferring nice properties of monads along strong monad morphisms. Today, quotients:

https://stringdiagram.com/2026/08/07/quotients-of-commutative-affine-and-relevant-monads/

#categorytheory

Just a reminder, if you are about to take a category theory course next term/semester.

There is a page of links to reasonably accessible and (legally!) freely downloadable lecture notes etc. at https://logicmatters.net/categories. You could very well find there some helpful preliminary/parallel reading at a level that suits you.

At the gentler end, there are my own notes *Introducing Category Theory*, freely downloadable of course but also available as a minimum cost paperback. Some students do like the book!

If you giving a category theory course, please do alert your students to the links page https://logicmatters.net/categories -- they may well find it useful.

#CategoryTheory

Just learnt that our paper "A study of Kock's fat Delta" (https://arxiv.org/abs/2503.10963) with Nicolai Kraus (@Nicolai_Kraus), Simona Paoli and Stiéphen Pradal (@Stiephen) was accepted for publication in the Journal of Pure and Applied Algebra (JPAA).

I'm quite happy about this, but I'm especially pleased for Stiéphen who's currently working hard to write up his PhD thesis!

#categorytheory

While teaching a course on algebraic theories last semester I mentioned at some point that the familiar bicomplete categories Top and Poset were not algebraic, but were topological. A student asked about this later on and I found that the #Wikipedia page on «topological category» pointed to categories enriched in Top, not categories with a forgetful functor to Set which is topological. While I have lost a lot of faith in Wikipedia recently, I am pleased to report that https://en.wikipedia.org/wiki/Topological_category is now a disambiguation page.

#math #mathematics #topology #algebra #CategoryTheory

Cool writeup presenting universal properties as natural isomorphisms:

https://math.stackexchange.com/questions/3688510/understanding-universal-property-and-universal-element-from-category-theory-in

#categoryTheory

Random #categoryTheory fact: The Yoneda lemma can be seen (among 1000 other things) as a generalization of the definition that a set contains no structure, other than its elements.

Does anybody know how to typeset pullback/pushout corners in typst/fletcher?
The code provided at https://github.com/Jollywatt/typst-fletcher/issues/50#issuecomment-2851846670 does not quite work for me and even when it does, it requires experimenting with degrees which is bad.

[Update] I added my own workaround as a reply to the GitHub issue.

#typst #typesetting #categorytheory

🤦‍♂️ Ah yes, because what every overworked developer dreams of is an IDE that speaks the fluent gibberish of category theory. 🚀 Just sprinkle some "categorical magic dust" on your databases and watch them transform (or maybe just disappear into the void). Call Conexus AI for a personalized headache consultation. 📞🤯
https://categoricaldata.net/ #overworkeddevelopers #categorytheory #IDEs #ConexusAI #techhumor #HackerNews #ngated

📚🤖 "Behold! The magnum opus on #Rust and Category Theory that's sure to revolutionize your understanding of... nothing. 😂 Dive into this unfinished 'draft' if you're into the esoteric joy of turning simple concepts into convoluted gibberish. 🚀👨‍💻✨"
https://hghalebi.github.io/category_theory_transformer_rs/ #CategoryTheory #EsotericHumor #TechHumor #Programming #HackerNews #ngated

Building ML framework with Rust and Category Theory

https://hghalebi.github.io/category_theory_transformer_rs/

#HackerNews #ML #Rust #CategoryTheory #Framework #Development

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​:Blobhaj_Read_Octopus:​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.

https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/

#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus

Oh joy, another attempt at 'explaining' Category Theory using #orders, because clearly the first thing we all need is more #abstraction in our lives. 🎉 In a groundbreaking revelation, the article tells us orders are about #relationships. 🤯 Who knew binary relations could be so riveting? 🙄
https://abuseofnotation.github.io/category-theory-illustrated/04_order/ #CategoryTheory #HackerNews #HackerNews #ngated

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/

#HackerNews #CategoryTheory #Orders #Illustration #Math #Education #Programming

Someone should make one of those "top 10 most satisfying" videos but for #CategoryTheory diagram chasing proofs

In the mountains, I love exploring nature and climbing any little hidden corner.

My academic interests include mathematics (#mathematics) and mathematical logic ( #mathematicallogic #logic), particularly model theory ( #modeltheory), category theory ( #categorytheory), higher-order logic and metalogic ( #metalogic), as well as the philosophy of mathematics and logic ( #philosophyofmathematics #philosophyoflogic), epistemology and ontology of them.

#introduction

Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

📚🤓 Oh, look! Another mind-numbing dive into the abstract abyss of Category Theory, where somehow "natural transformations" sound like something out of a biology textbook. But fear not, if you squint hard enough, you might just see a functor magically morph into something more... or not. 🙃🔄
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/ #CategoryTheory #AbstractMath #Functors #NaturalTransformations #MathHumor #HackerNews #ngated

Category Theory Illustrated – Natural Transformations

https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/

#HackerNews #CategoryTheory #NaturalTransformations #MathIllustration #HackerNews #Learning

I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:

https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.

*Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.

#CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra

Peirce's 1885 “Algebra of Logic” • Discussion 2
• https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 2
• https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 2
• https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 2
• https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 2
• https://inquiryintoinquiry.com/2024/04/03/peirces-1885-algebra-of-logic-discussion-2/

Re: FB | Daniel Everett

One thing I've been trying to understand for a very long time is the changes in Peirce's writing about math and logic from 1865 to 1885. If there's anything I've learned from reading Peirce in the often dim light of intellectual history it is to be wary of progressivist assumptions — but unlike many of his other fans I apply that caution also within the body of his own work. Long story short, from 1865 to 1885 I see progress on several fronts but also bits of backsliding from his more prescient early insights. So it's a puzzle … and it will take more study to ravel out the reasons why.

Resources for reconciling Peirce's two accounts —
1. The 1870 account of logical involution
2. The 1885 account of universal quantification

Peirce's 1870 “Logic of Relatives” • Selection 12 • The Sign of Involution
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/
Comments —
(1) https://inquiryintoinquiry.com/2014/06/10/peirces-1870-logic-of-relatives-comment-12-1/
(2) https://inquiryintoinquiry.com/2014/06/11/peirces-1870-logic-of-relatives-comment-12-2/
(3) https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-comment-12-3/
(4) https://inquiryintoinquiry.com/2014/06/14/peirces-1870-logic-of-relatives-comment-12-4/
(5) https://inquiryintoinquiry.com/2014/06/15/peirces-1870-logic-of-relatives-comment-12-5/

Peirce's 1885 “Algebra of Logic” • Selections
(1) https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-selection-1/
(2) https://inquiryintoinquiry.com/2024/03/26/peirces-1885-algebra-of-logic-selection-2/
(3) https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-selection-3/
(4) https://inquiryintoinquiry.com/2024/04/01/peirces-1885-algebra-of-logic-selection-4/

Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 1
• https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451 ❞

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
• https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 1
• https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451 ❞

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
• https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 1
• https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451 ❞

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
• https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 1
• https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451 ❞

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
• https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

Peirce's 1885 “Algebra of Logic” • Discussion 1
• https://inquiryintoinquiry.com/2024/04/02/peirces-1885-algebra-of-logic-discussion-1/

Re: FB | Daniel Everett

DE:
❝One of the most important papers in the history of logic. “On the Algebra of Logic” was the first to introduce the term “quantifier”.

❝Peirce, C.S. (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7, 180–202.
• https://www.jstor.org/stable/2369451 ❞

As far as quantification by any other word goes, Peirce had already introduced a more advanced and “functional” concept of quantification in his 1870 “Logic of Relatives”. The subsequent passage to Fregean styles of first order logic would turn out to be a retrograde movement toward syntacticism (a species of nominalism), as seen in the general run of what fol‑lowed in the fol‑lowing years.

See ☞ Peirce's 1870 “Logic of Relatives”
• https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-overview/

Especially ☞ “The Sign of Involution”
• https://inquiryintoinquiry.com/2014/06/09/peirces-1870-logic-of-relatives-selection-12/

The connection between logical involution and universal quantification which Peirce put to use in his 1870 Logic of Relatives will turn up again a century later with the application of category theory to computer science and both of those in turn to logic. Just one more time Peirce was that far ahead of it.

See ☞ Lambek and Scott (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press.
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#Lambek

#Peirce #Logic #AlgebraOfLogic #LogicOfRelatives #RelationTheory #CategoryTheory
#Semiotics #PredicateCalculus #Quantification #LogicalInvolution #ComputerScience

I have a new(ish) preprint on the arXiv! You can find "Invariants of structures" at https://arxiv.org/abs/2402.18063. This is a somewhat embellished version of one half of my PhD thesis. A talk which I gave about this subject in the fall of 2022 is available at https://www.youtube.com/watch?v=5TeGZZ_mepc.

In this new version, I have finally added an explicit description of something I've been telling people for years: My main result shows that any first-order property of finite structures can be computed by counting small substructures. Perhaps surprisingly, this comes as a result of synthesizing a categorical treatment of Bourbaki's notion of mathematical structure with Hilbert's classical result on symmetric polynomials.

#CategoryTheory #combinatorics #algebra #AbstractAlgebra #logic #Bourbaki

Just posted this talk (https://youtu.be/5TeGZZ_mepc) I gave on the categorified invariant theory part of my PhD thesis last fall! You can also find my thesis itself online now at https://aten.cool/documents/thesis.pdf if you'd like to see more.

Part of the reason I waited so long to post this is because I kind of flubbed the last example after the main part of the talk due to having not looked at this stuff for a while before giving the lecture. I thought I'd cut that last part out once I had more time, but enough time has passed and it no longer bothers me.

I actually wrote most of this part of my thesis in 2020, so I waited a long time to advertise this work.

#math #thesis #algebra #AbstractAlgebra #CategoryTheory #Bourbaki #combinatorics

Even in our most idle wanderings, we don’t wander very far from home.

Reading Keisler “Elementary Calculus” a few weeks ago, I revisited John Bell’s paper “An Invitation to Smooth Infinitesimal Analysis”, which in turn prompted me to order Bell’s short book, “A Primer of Infinitesimal Analysis”.

I didn’t expect such a heavy dose of #CategoryTheory in this book! I might finally learn that topic seriously.

The fascinating treatment by JL Bell also touches upon another idle interest of mine: #IntuitionisticLogic . I’ve also been curious about systems that omit the excluded middle or well-ordering, etc., but I had never really looked at practical usages for such logics.

A fun, fresh look at #calculus all around

#introduction

Part of the Migration. Moved from @[email protected]

Interested in #topology (for fun and #TDA )
#GraphicalLinearAlgebra and similar notations like string diagrams and #ExistentialGraphs
#CurryHowardIsomorphism
#Semantics for humans and computers
#topoi
#CategoryTheory
#WordEmbeddings (in #NLP )
#language
#logic
#SFF
#History of science, math, societies
etc.

Trans rights are human rights; blm; workers solidarity; native rights; and all the various other ways of not being vile to people