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 some inconsistencies in the section outline at algebraic theory, that must have come from different people editing different pieces and mixing up some global entry structure.
I have briefly tried to reinstantiate consistent order. But the entry could probably do with somebody looking over in its entirety with an editor-hat on.
at Relation to monads I found that a link to the keyword “finitary monad” had been missing. So I added it briefly, at the end of the first paragraph.
I added this recent work
looking to unify
several variants of universal algebra, such as theories of symmetric operads, non-symmetric operads, generalised operads, PROPs, PROs, and monads.
1 to 3 of 3