From gs-monoidal to oplax cartesian categories: Constructions and functorial completeness.Applied Categorical Structures, 31(5):42

Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini · 2023

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it