Mastodawn

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

Category Theory Illustrated - Types

Hacker News 1d ago

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 Jong 4d ago

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

Jencel Panic 5d ago

Published a new chapter of #categorytheoryillustrated - Types

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

#categorytheory #mathematics #haskell

José A. Alonso 5d ago

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

Readings shared March 29, 2026

The readings shared in Bluesky on 29 March 2026 are: Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. ~ Jarod Alper. #AI4Math #LeanProver #ITP #Math On the paucity of

Vestigium

José A. Alonso 6d ago

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