The story
Etymology from Wiktionary, CC BY-SA 4.0.
operad
Today it means: A set of operations, each one having a fixed finite number of arguments and one output, which can be composed with others. Full definition →
Today it means: A set of operations, each one having a fixed finite number of arguments and one output, which can be composed with others. Full definition →
Etymology from Wiktionary, CC BY-SA 4.0.