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 stub for dimension
I added more kinds of dimension.
I have added to dimension the definition of “categorical dimension” of an object in a symmetric monoidal category.
In the section “Of spaces” I have added pointer to “covering dimension” to the paragraph mentioning this; and added further pointers to
and also to
1 to 4 of 4