3 in notes

fa'ai _VUhU experimental cmavo

mathematical ordered n-ary operator: (pointwise) functional left composition; X_{1 \circ X}.

Inputs must be appropriate functions; this outputs a function; follow by "ku'e (boi)" in order to include/apply the output function to arguments (thereby producing a number). a_{1 \circ a}= a_1(a for any positive integer or countable infinity n and functions a_i for all integer i < n+1. Replaces all of the inputs with a (possibly stripped, as appropriate) tuple; for replacing a single argument in a multivariate function with a function (either evaluated or not), use (partial) (e)valuation. Left compose multiple terms by separating the function names with "boi".

• CLL 18.5
• jbovlaste

In notes:

facni

x₁ is an n-ary operator/map which is distributive/linear/homomorphic in or over or from space/structure x₂, mapping to space or structure x₃, thereby producing a new space/structure x₄ which is the 'union' of x₂ and x₃ endowed with x₁; x₁ distributes over/through all of the operators of x₂.

fau'e (exp!)

iterated function left-composition with self: f∘f∘...∘f, n times.

ja'oi (exp!)

permutation cycle writer notation start