Higher-order operad
= Higher-order operad
{wiki=Higher-order_operad}
Higher-order operads are a generalization of operads that extend the concept to incorporate operations that can take other operations as inputs. Traditionally, an operad consists of a collection of operations that can be composed in a structured way, and they have a certain type of associative nature with respect to these operations.