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.