Operator

In algebra, an operator is simply a Function Type with a certain Type Family.
In hom