arrow category - freyd monoid

Last updated Aug 28, 2024

See also: arrow category - funny tensor.