Omar Antolín on Nostr: It's a little odd to me that mathematicians use monads for their categories of ...
It's a little odd to me that mathematicians use monads for their categories of algebras but functional programmers use them for their Kleisli categories.
Published at
2025-07-17 03:00:43 UTCEvent JSON
{
"id": "982b5708466adedcc044929d1ec0622a1362458bb04d73a191d035a60ebc4dff",
"pubkey": "f6e5f6bc41d8187e776540f170adeab6d0d71bf2f6e396e4a3a73394e20b0e1c",
"created_at": 1752721243,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/oantolin/statuses/114866339426093836",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "It's a little odd to me that mathematicians use monads for their categories of algebras but functional programmers use them for their Kleisli categories.",
"sig": "a0c9dfcdc3c412df68ac6922783ab11df6335f433e3c809ad45e79cfb0f00d340b3f63895e2b3c2af9ed353cbc1c48b9485449c06d97ac626b94fa6731917edd"
}
