Tags: duoidal category, closed monoidal category. References Pattern Runs on Matter (Libkind, Spivak, 2024)
