julesh on Nostr: Is there a Stone duality theorem for categories? Set^op is equivalent to complete ...
Is there a Stone duality theorem for categories? Set^op is equivalent to complete atomic boolean algebras, is Cat^op equivalent to anything like that?
Published at
2024-07-22 11:01:05Event JSON
{
"id": "68e376574f3a5a6490bd7918623dd245f117483f693203efb99d1ee54489c220",
"pubkey": "d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"created_at": 1721646065,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/julesh/statuses/112829796530974849",
"activitypub"
]
],
"content": "Is there a Stone duality theorem for categories? Set^op is equivalent to complete atomic boolean algebras, is Cat^op equivalent to anything like that?",
"sig": "ed586626feb2459fd0c7234c318da41c556cab72700663bd664e1dca8e53818dc38f9cc714383472f4203d112e8d53f75f0efab7323de1d90279cb9dd46acb35"
}
