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.
I noticed that in
the ∞-module was kind of missing (we had module over an algebra over an (∞,1)-operad). So I created something stubby.
Isn’t just “module” the preferred term ?
One day als “category” will be the preferred term for “-category”. But we are not quite at the point yet that it would be useful to enforce the implicit infinity-category theory convention globally on the Lab. I’d think.
No, I am not that radical (one could say that category would be then if we take that every notion should be by deafult taken absolutely most generally). I mean CONTEXT should always be specified precisely. Once the context is known then no modifiers are needed. For example, one traditionally meant by a ball, certain kind of geometrical bodies in Euclidean space. Once one takes their equation one can have a version in metric space. Usually, if one just say a ball, one will hardly mean that this is in the generality of metric space. But in the context of metric spaces one does not need to say metric ball, just ball is enough. So never mentioning infinity and just saying category is misleading. But once we say we work with infinity categories then module is just module in this context. This is my opinion.
one could say that category would be then (∞,∞)
No, I think the “-” to be dropped is that which is equivalent to “homotopy-“. So in 50 years we’ll say “category” for -category and “-category” for -category and “-category” for “-category”.
Apart from this, I am not sure what you would like me to change. If the context is clear, then we can drop the “-“. But every Lab entry is its own context, and so we can’t drop it in the title of the entry ∞-module.
1 to 5 of 5