arrow category - freyd monoid

See also: arrow category - funny tensor.