#categorytheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #categorytheory, aggregated by home.social.
-
🤦♂️ 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 -
🤦♂️ 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 -
🤦♂️ 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 -
🤦♂️ 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 -
🤦♂️ 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 -
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 -
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 -
The Tin Bullet: Show&Tell
Aula 1206, Pabellón 0+infinito, lunes, 4 de mayo, 18:30 GMT-3
Buenas! El lunes 4/5 (HOY!!!!) están invitados a la segunda edición de "The Tin Bullet" un evento de micro charlas en la facultad.
La primer edición estuvo muy buena y se trajeron cosas muy piolas. Cópense y vengan a la segunda!
Esta vez vamos a estirar las charlas a 10-15 minutos así hay mas espacio para exponer y consultar.
Al final de la jornada tomamos un mate y charlamos sobre lo expuesto (La ultima vez colmamos MauroIT)
En fin!! Los esperamos <3!!
https://cartelera.inexactas.ar/event/the-tin-bullet-showandtell-1
-
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 -
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 -
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.
-
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.
-
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.
-
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.
-
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.
-
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
-
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
-
Propositions As Types Analogy • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-analogy-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the Propositions As Types Analogy. And I see hints the 2‑part analogy can be extended to a 3‑part analogy, as follows.
Proof Hint ∶ Proof ∶ Proposition
∷
Untyped Term ∶ Typed Term ∶ Typeor
Proof Hint ∶ Untyped Term
∷
Proof ∶ Typed Term
∷
Proposition ∶ TypeSee my working notes on the Propositions As Types Analogy —
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Mathematics #CategoryTheory #ProofTheory #TypeTheory
#Logic #Analogy #Isomorphism #PropositionalCalculus
#CombinatorCalculus #CombinatoryLogic #LambdaCalculus
#Peirce #LogicalGraphs #GraphTheory #RelationTheory -
Propositions As Types Analogy • 1
• https://inquiryintoinquiry.com/2013/01/29/propositions-as-types-analogy-1/One of my favorite mathematical tricks — it almost seems too tricky to be true — is the Propositions As Types Analogy. And I see hints the 2‑part analogy can be extended to a 3‑part analogy, as follows.
Proof Hint ∶ Proof ∶ Proposition
∷
Untyped Term ∶ Typed Term ∶ Typeor
Proof Hint ∶ Untyped Term
∷
Proof ∶ Typed Term
∷
Proposition ∶ TypeSee my working notes on the Propositions As Types Analogy —
• https://oeis.org/wiki/Propositions_As_Types_Analogy#Mathematics #CategoryTheory #ProofTheory #TypeTheory
#Logic #Analogy #Isomorphism #PropositionalCalculus
#CombinatorCalculus #CombinatoryLogic #LambdaCalculus
#Peirce #LogicalGraphs #GraphTheory #RelationTheory -
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/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
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/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
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/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
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/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
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Survey of Precursors Of Category Theory • 6
• https://inquiryintoinquiry.com/2025/05/05/survey-of-precursors-of-category-theory-6/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
• https://oeis.org/wiki/Precursors_Of_Category_TheoryPropositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_AnalogyBlog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/
2. https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/
3. https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/
4. https://inquiryintoinquiry.com/2024/05/28/precursors-of-category-theory-4-a/
5. https://inquiryintoinquiry.com/2024/05/29/precursors-of-category-theory-5-a/
6. https://inquiryintoinquiry.com/2024/05/30/precursors-of-category-theory-6-a/Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/C.S. Peirce and Category Theory
1. https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/
2. https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/
3. https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/
4. https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/
5. https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/
6. https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/
7. https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/
8. https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #FunctionalLogic #RelationTheory
#PrecursorsOfCategoryTheory #PropositionsAsTypes #Semiotics #TypeTheory -
Case in point.
[note: if my future therapist is reading this, this may be in fact the point when it broke]
Also holy fuck, this joke didn't go too far after all. I love category theory (as it turns out I speak it natively) and having my buttocks explained to me through it seems to be activating all the right shapes in my mind.
Who knew I'd be using the ocular mirror to stare straight into my buttocks tonight to finally make sense of myself. Bridging the hyperlexic and embodied graphs through the shared medium of my delicious 🎂
Thanks 🪿
If anyone would care to read the particular projection of my thesis that happens to have taken on that shape it's below. It's a bit of a hard read, lots of ups and downs and the middle bit is really difficult to get through, but I find it worth it in the end.
https://loss.dev/?node=my-buttocks-are-a-lie
#delicious #engineering #isitstill #rigourousproof #mathematics #categorytheory
-
Case in point.
[note: if my future therapist is reading this, this may be in fact the point when it broke]
Also holy fuck, this joke didn't go too far after all. I love category theory (as it turns out I speak it natively) and having my buttocks explained to me through it seems to be activating all the right shapes in my mind.
Who knew I'd be using the ocular mirror to stare straight into my buttocks tonight to finally make sense of myself. Bridging the hyperlexic and embodied graphs through the shared medium of my delicious 🎂
Thanks 🪿
If anyone would care to read the particular projection of my thesis that happens to have taken on that shape it's below. It's a bit of a hard read, lots of ups and downs and the middle bit is really difficult to get through, but I find it worth it in the end.
https://loss.dev/?node=my-buttocks-are-a-lie
#delicious #engineering #isitstill #rigourousproof #mathematics #categorytheory
-
Case in point.
[note: if my future therapist is reading this, this may be in fact the point when it broke]
Also holy fuck, this joke didn't go too far after all. I love category theory (as it turns out I speak it natively) and having my buttocks explained to me through it seems to be activating all the right shapes in my mind.
Who knew I'd be using the ocular mirror to stare straight into my buttocks tonight to finally make sense of myself. Bridging the hyperlexic and embodied graphs through the shared medium of my delicious 🎂
Thanks 🪿
If anyone would care to read the particular projection of my thesis that happens to have taken on that shape it's below. It's a bit of a hard read, lots of ups and downs and the middle bit is really difficult to get through, but I find it worth it in the end.
https://loss.dev/?node=my-buttocks-are-a-lie
#delicious #engineering #isitstill #rigourousproof #mathematics #categorytheory
-
Case in point.
[note: if my future therapist is reading this, this may be in fact the point when it broke]
Also holy fuck, this joke didn't go too far after all. I love category theory (as it turns out I speak it natively) and having my buttocks explained to me through it seems to be activating all the right shapes in my mind.
Who knew I'd be using the ocular mirror to stare straight into my buttocks tonight to finally make sense of myself. Bridging the hyperlexic and embodied graphs through the shared medium of my delicious 🎂
Thanks 🪿
If anyone would care to read the particular projection of my thesis that happens to have taken on that shape it's below. It's a bit of a hard read, lots of ups and downs and the middle bit is really difficult to get through, but I find it worth it in the end.
https://loss.dev/?node=my-buttocks-are-a-lie
#delicious #engineering #isitstill #rigourousproof #mathematics #categorytheory
-
Case in point.
[note: if my future therapist is reading this, this may be in fact the point when it broke]
Also holy fuck, this joke didn't go too far after all. I love category theory (as it turns out I speak it natively) and having my buttocks explained to me through it seems to be activating all the right shapes in my mind.
Who knew I'd be using the ocular mirror to stare straight into my buttocks tonight to finally make sense of myself. Bridging the hyperlexic and embodied graphs through the shared medium of my delicious 🎂
Thanks 🪿
If anyone would care to read the particular projection of my thesis that happens to have taken on that shape it's below. It's a bit of a hard read, lots of ups and downs and the middle bit is really difficult to get through, but I find it worth it in the end.
https://loss.dev/?node=my-buttocks-are-a-lie
#delicious #engineering #isitstill #rigourousproof #mathematics #categorytheory
-
We've computationally verified that Peano arithmetic emerges naturally from just two operators: Δ (distinction/branching) and Σ (connection/composition).
This isn't just coding — it's evidence for the Δ–Σ Turing Completeness Theorem: a system is Turing-complete iff it can be represented through Δ and Σ.
Code implements the proofs: https://github.com/muskin88/delta-sigma-peano/blob/main/Peano_from_deltasigma.py
Formal statement: https://zenodo.org/records/17895986
(Theorem 3)The implications are ontological: these operators appear inevitable for any non-trivial reality. The framework unites computation, mathematics, and fundamental ontology.
#CategoryTheory #FoundationsOfMath #Computation #Ontology #FormalMethods #TypeTheory #PeanoArithmetic #TuringCompleteness #MathematicalPhilosophy
-
We've computationally verified that Peano arithmetic emerges naturally from just two operators: Δ (distinction/branching) and Σ (connection/composition).
This isn't just coding — it's evidence for the Δ–Σ Turing Completeness Theorem: a system is Turing-complete iff it can be represented through Δ and Σ.
Code implements the proofs: https://github.com/muskin88/delta-sigma-peano/blob/main/Peano_from_deltasigma.py
Formal statement: https://zenodo.org/records/17895986
(Theorem 3)The implications are ontological: these operators appear inevitable for any non-trivial reality. The framework unites computation, mathematics, and fundamental ontology.
#CategoryTheory #FoundationsOfMath #Computation #Ontology #FormalMethods #TypeTheory #PeanoArithmetic #TuringCompleteness #MathematicalPhilosophy
-
Emily Riehl: How I became seduced by Univalent Foundations
[tbh I think shes only disclosing her theoretical motivations her; I recall she was posting questions about Linux distros a few years ago, and if we're honest being a nerd is the actual reason 99% of people get into HoTT]
https://www.youtube.com/watch?v=XIYoI5j5Flo&t=486s -
Emily Riehl: How I became seduced by Univalent Foundations
[tbh I think shes only disclosing her theoretical motivations her; I recall she was posting questions about Linux distros a few years ago, and if we're honest being a nerd is the actual reason 99% of people get into HoTT]
https://www.youtube.com/watch?v=XIYoI5j5Flo&t=486s -
Functor {
Alt {
Plus { Alternative }
}
Apply {
Applicative {
Alternative
Monad
}
Chain {
Monad
ChainRec
}
}
Bifunctor
Extend {
Comonad
}
Profunctor
Traversable
}
Foldable { Traversable }
Semigroupoid { Category }
Contravariant
Filterable
Semigroup { Monoid { Group } }
Setoid { Ord }
#categorytheory #monad #functor -
#ComputabilityTheory is the normative ethics, #TypeTheory is the applied ethics, and #CategoryTheory is the meta ethics of #programming languages.
-
#ComputabilityTheory is the normative ethics, #TypeTheory is the applied ethics, and #CategoryTheory is the meta ethics of #programming languages.
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
