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.
At vector bundle all the way back from rev 1 there is a request for an entry “sheaf semantics”, at the bottom, where it says
sheaf semantics (Kripke-Joyal semantics)
Should we just make “sheaf semantics” redirect to Kripke-Joyal semantics?
We could do that. Or we could just update the link to point directly there.
1 to 2 of 2