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.
have added to monoidal (infinity,1)-category the definition of -monoidal -category, for an -operad
(though maybe this definition either deserves its own entry or ought to be included instead at symmetric monoidal (infnity,1)-category)
1 to 1 of 1