Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Renamed and cross-linked with coherent topos.
On the other hand, the references currently offered at coherence space all say “coherent space” (e.g. here). In fact, Wikipedia here insists that “coherent space” is for the concept in linear logic, and instead redirects the reader interested in topology to “spectral space”.
Not sure what this implies, but maybe the disambiguation deserves more commentary.
1 to 8 of 8