#category-theory — Public Fediverse posts

📚🤖 "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

Category theory illustrated: Types. ~ Jencel Panic. https://abuseofnotation.github.io/category-theory-illustrated/06_type/ #CategoryTheory #Math

What Category Theory Teaches Us About DataFrames

https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/

#HackerNews #CategoryTheory #DataFrames #DataScience #Programming #HackerNews

Thanks to our speakers and @Stiephen all the slides for PSSL 112 are now available on the PSSL website! https://sites.google.com/view/pssl112/program

#CategoryTheory #Logic

Published a new chapter of #categorytheoryillustrated - Types

https://abuseofnotation.github.io/category-theory-illustrated/06_type/

#categorytheory #mathematics #haskell

Readings shared March 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/30-readings_shared_02-29-26 #AI #AI4Math #CategoryTheory #ITP #LeanProver #Logic #Math #Programming

Formally verifying digital circuits with category theory in Lean. ~ Matt Hunzinger. https://matt.hunzinger.me/2026/03/28/circuits.html #LeanProver #ITP #CategoryTheory

RE: https://fosstodon.org/@zurihac/116040336310097135

Come meet me there!

#categorytheory #haskell

Question for people with background in #categorytheory , which of the two is more correct/understandable:

"A monoid is...

#categorytheoryillustrated