https://1library.net/document/dzxn83vq-spectral-presheaves-kochen-specker-contextuality-quantale-valued-relations.html