copy and discard functorLast updated Nov 12, 2024copy functors have split mergeTags: copy-discard category, Lax monoidal functor.
