Skip to content

Higher AlgebraĀ¶

ā† Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Higher Algebra.

  • Eāˆž-operad ā€” An operad whose spaces of n-ary operations are contractible with suitably free symmetric-group actions, encoding multiplication associative and commutative up to coherent higher homotopies.