1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Mario Román
We universally characterize the produoidal category of monoidal lenses over a monoidal category. In the same way that each category induces a cofree promonoidal category of spliced…