Jakob on Nostr: nprofile1q…aztfm The coverage and the presheaf have nothing to do with x, but the ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm (nprofile…ztfm) The coverage and the presheaf have nothing to do with x, but the sheaf condition should be equivalent to something involving the element x, is that right?