N-gated Hacker News1d ago
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

Hacker News1d ago

Category Theory Illustrated – Orders

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

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

Category Theory Illustrated - Orders

Caden3d ago
Someone should make one of those "top 10 most satisfying" videos but for #CategoryTheory diagram chasing proofs
Counting Is Hard3d ago

"Problems with Fixpoints of Polynomials of Polynomials" got accepted to LICS, so pretty chuffed about that

#logic #categorytheory

Counting Is Hard4d ago

Confession: I name the maps out of a pullback t and l for top & left.

#categorytheory

Show threadJxHxBxRApr 5

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

JosΓ© A. AlonsoApr 5
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

The readings shared in Bluesky on 4 April 2026 are: Why Lean?. ~ Leonardo de Moura. #LeanProver #ITP A formalization of the Gelfond-Schneider theorem. ~ Michail Karatarakis, Freek Wiedijk. #LeanProve

Vestigium
JosΓ© A. AlonsoApr 4
Category theory illustrated: Types. ~ Jencel Panic. https://abuseofnotation.github.io/category-theory-illustrated/06_type/ #CategoryTheory #Math
Category Theory Illustrated - Types

Hacker NewsApr 3

What Category Theory Teaches Us About DataFrames

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

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

What Category Theory Teaches Us About DataFrames

Every dataframe library ships with hundreds of operations. pandas alone has over 200 methods on a DataFrame. Is pivot different from melt? Is apply different from map? What about transform, agg, applymap, pipe? Some of these seem like the same operation wearing different hats. Others seem genuinely distinct. Without a framework for telling them apart, you end up memorizing APIs instead of understanding structure.

Tom de JongMar 31

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