Cat::Operad – the category of operads
Cat::Operad represents the category of operads.
Creating the Category
Cat::Operad(coeffRing)
Parameters:
|
coeffRing: |
A domain which must be from the category Cat::Ring. |
Categories
Cat::Module(coeffRing)
Details:
A Cat::Operad(coeffRing) is an operad over the coefficient ring coeffRing.
Entries
|
"one" |
The unit of the operad with respect to composition. This entry is compulsory. |
fromCoeffRing – natural embedding of the coefficient ring
Cat::Operad::fromCoeffRing(coeffRing c)
Returns the natural embedding c*dom::one of the coefficient c as an element of this operad.
composition – composition
Cat::Operad::composition(dom x, dom y, positive integer i)
Returns the composition of x and y at position i.
This method is compulsory.
Changes in MuPAD 3.1
New Function.