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.
While editing rng I discovered that there was already a somewhat orphaned page unitalization. I have now made plenty of variants of this term redirects to that page (“unitisation” etc.) and have cross-linked with existing entries such as unitisation of C*-algebras.
added to unitalization a pointer to prop. 5.2.3.13 in Higher Algebra, which gives unitalization in the generality of $\mathbb{E}_k$-algebras.
It's especially difficult to get things linked properly where there are unexpected spelling variations, so I'm glad that you caught that!
1 to 3 of 3