From 11:00 to 12:00 on Thursday, April 30, the PLSL 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/

#PLSL #syntax #programmingLanguages #categoryTheory

Question related to my previous post: is it possible to do some kind of static analysis on categorical code?

Or, what constraints should be imposed (or removed) on a category so that its code supports static analysis?

#haskell #categorytheory #staticanalysis

First compiling example of my new `category-transformers` toy project

https://codeberg.org/marcosh/category-transformers/src/branch/main/examples/Control/Category/Example/MonadTransformerExample.hs

I'm basically rebuilding monad transformers, but in a complete categorical style (no monads, just categories all the way)

Sorry, no documentation for now... a blog post is on its way

#haskell #categorytheory #monad

Category Theory Illustrated – Orders

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

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

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

#logic #categorytheory

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

#categorytheory