TY  - RPRT
TI  - From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
AU  - Tobias Fritz
AU  - Fabio Gadducci
AU  - Davide Trotta
AU  - Andrea Corradini
PY  - 2023
DO  - 10.1007/s10485-023-09750-z
UR  - https://arxiv.org/abs/2205.06892
ID  - 2205.06892
ER  -