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 feel that, while the concept of algebra over a monad is of course an instance of the more general module over a monad, it could benefit from having its own dedicated page, with motivation from other fields and dedicated examples.
If I get a green light from enough people here, I can create the page myself (and replace the redirection by links both ways).
Currently, the point of view of the entry is that “algebra for a monad” is synonymous with “module over a monad” at least or especially for monads in Cat, since in this case their modules literally are algebras in the sense of universal algebra.
I suppose what you are after is the concept of monoid objects in categories of modules over a monad?
I’d think this should definitely be on a page of its own, and then there ought to be a paragraph alerting the reader of the trouble with the terminology.
I suspect that Paolo’s point was instead to have a separate page for algebras in Cat with domain 1, so that people can read about those without having to think about bicategories. I think that’s a good idea.
Yes, I meant exactly what Mike has said.
(Of course, what Urs has said should have a page too.)
I’ll proceed in the next days.
1 to 5 of 5