1 paper · 1 filter
Maxime Ramzi
We prove that for any presentably symmetric monoidal ∞-category V, the ∞-category ModV(PrL)dbl of d…