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.
created a stub future cone. This was in the context of directed homotopy theory, but clearly could be developed and linked to other topics.
I have added possible synonyms for future cone (forward cone) and past cone (backward cone). Which do people prefer? There is some slight ’conflict’ in the intuitions perhaps with the current terminology and the d-space idea.
1 to 2 of 2