Why Nostr? What is Njump?
2024-01-23 15:18:17

inscitia on Nostr: Local Truth "... a Grothendieck topology appears most naturally as a modal operator, ...

Local Truth

"... a Grothendieck topology appears most naturally as a modal operator, of the nature 'it is locally the case that'."

F. W. Lawvere, quoted in the book Topoi by Robert Goldblatt
Author Public Key
npub19x5l76266vfen827fudaampuuupkejg9vls88hld8nv4w4sq59lsqlal37