Naïm Camille Favier on Nostr: Funny observation: a subterminal object is just an idempotent comonoid in a cartesian ...
Funny observation: a subterminal object is just an idempotent comonoid in a cartesian monoidal category (what's the problem?).
Published at
2025-05-31 14:14:15 UTCEvent JSON
{
"id": "a6c8468139293e50629811beeec199bbc085883854d0aa8585be2356c3127843",
"pubkey": "eb1cda06a29fa6db324928163835bdc74cfc337c90c9c5027f3637a9eff3071c",
"created_at": 1748700855,
"kind": 1,
"tags": [
[
"proxy",
"https://types.pl/users/ncf/statuses/114602859240342103",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Funny observation: a subterminal object is just an idempotent comonoid in a cartesian monoidal category (what's the problem?).",
"sig": "79637d2df6aa85d6ccc00e2c540302fe121bac252a0ad7a781730e0c6c88ca8d5972f9b3447a664526dc45201233d87b0317d7daa2844e9ee97b0a358f948cf9"
}
