Jakob on Nostr: What are some examples of topoi that don’t come obviously as categories of sheaves ...
What are some examples of topoi that don’t come obviously as categories of sheaves or presheaves? Especially outside of logic?
Published at
2025-04-27 05:49:04 UTCEvent JSON
{
"id": "d9f7ad72c04448b9a04b20e54e7adbafa7aeb390ab7a6cf92d887869a4e77f53",
"pubkey": "eaea88d91f76773d93fe0f189b5f5f62f9647c2f72d92783fae135e7738e6cb9",
"created_at": 1745732944,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jdw/statuses/114408354232491779",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "What are some examples of topoi that don’t come obviously as categories of sheaves or presheaves? Especially outside of logic?",
"sig": "f2862861d488d22979f3c94fb27376ffb950eb25af0e8f1d0dd037ffc701d885f368e32fc384570d1a5217f32d73a0bb6cdbcf698ba0a1b52a02d46661935750"
}
