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.
We have had the discussion (here) that “actegory” is bad terminology.
Let’s rename this entry here to something like “monoidal action of a monoidal category”, instead.
I have removed one duplicate redirect. Maybe that was causing the error message(?)
Yes, this often happens when a page is renamed, because the nLab adds a redirect for the old name automatically, but doesn’t check if a redirect already exists.
Right.
1 to 9 of 9