operator types: powered

        powered operator
        an operator that applies another operator multiple times
        eg, op^4 |some ket> is a short-cut for: op op op op |some ket>
        again, a nod back to operator application being a special type of multiplication
        a powered op is just an operator raised to some integer power

        -- let's define a simple operator that prepends a category:
        op |*> #=> |op> :_ |_self>

        -- now let's power it to the 5th power:
        op^5 |some ket>
            |op: op: op: op: op: some ket>

    see also: