hom-monoid in a closed duoidal

Last updated Jun 3, 2024

Tags: duoidal category, closed monoidal category.

References

• Pattern Runs on Matter (Libkind, Spivak, 2024)