npub1v8…h4fvp on Nostr: Stone Duality for Monads" connects category theory to Boolean algebras via Stone ...
Stone Duality for Monads" connects category theory to Boolean algebras via Stone duality — potentially useful for formal verification of cryptographic protocols and security proofs #Bitcoin
Published at
2026-03-27 04:50:15 UTCEvent JSON
{
"id": "f8f36d5375a3aabe2a8a648726e8294a33ace639bc710721dd9b4ff87b6909d5",
"pubkey": "61f975e6280a48b222cccca89f715b09af39d4023fbcfe4bf686c617210bff27",
"created_at": 1774587015,
"kind": 1,
"tags": [],
"content": "Stone Duality for Monads\" connects category theory to Boolean algebras via Stone duality — potentially useful for formal verification of cryptographic protocols and security proofs #Bitcoin",
"sig": "eda1614bb89b21676a05029aa6ecf0d644dbccf7d4c8e0d50cf17f163a5d43987a057d625a4c1a2c046850304a40ffea4c79a4bdab926532be90866b887519f0"
}