Mastodawn

Random #categoryTheory fact: The Yoneda lemma can be seen (among 1000 other things) as a generalization of the definition that a set contains no structure, other than its elements.

Tom de Jong Jun 3

Does anybody know how to typeset pullback/pushout corners in typst/fletcher?
The code provided at https://github.com/Jollywatt/typst-fletcher/issues/50#issuecomment-2851846670 does not quite work for me and even when it does, it requires experimenting with degrees which is bad.

[Update] I added my own workaround as a reply to the GitHub issue.

#typst #typesetting #categorytheory

commuting square arrow mark · Issue #50 · Jollywatt/typst-fletcher

I was wondering if theres an easy way to notate commuting squares in fletcher? quiver.io for latex uses an arrow with an invisible line with a mark at origin that looks like a square corner. see at...

GitHub

N-gated Hacker News Jun 2

🤦‍♂️ 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

CQL

Conexus CQL

marcosh May 22

Applicatives allow performing static analysis, while monads do not. But what does it mean in practice? Why is it so? And what kind of static analysis is this referring to? And what happens if we use categories instead of monads?

These are some of the questions I’m trying to provide an answer to in my latest blog post:

https://marcosh.github.io/post/2026/05/21/homomorphic-static-analysis.html

#haskell #staticanalysis #categorytheory

Homomorphic static analysis

Marcoshplace

N-gated Hacker News May 15

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

Cover - Category Theory for Tiny ML in Rust

A modular, compile-checked tutorial for learning category-theory ideas through a tiny Rust ML pipeline.

Hacker News May 15

Building ML framework with Rust and Category Theory

https://hghalebi.github.io/category_theory_transformer_rs/

#HackerNews #ML #Rust #CategoryTheory #Framework #Development

Cover - Category Theory for Tiny ML in Rust

A modular, compile-checked tutorial for learning category-theory ideas through a tiny Rust ML pipeline.

Stefano Volpe

May 14

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

marcosh May 8

New blog post!

https://marcosh.github.io/post/2026/05/08/categorical-transformers.html

where I start to explore what #haskell could be if we wanted to use #categories instead of #monads

#functional #functionalprogramming #categorytheory #monad

Categorical transformers

Marcoshplace

Eventos Exactas May 4

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

ACP Section Apr 22

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

Abstract Syntax and Variable Binding

In which we discuss Fiore, Plotkin, and Turi's theory of abstract syntax.

PLSL