Case Study on Displayed Monoidal Categories
Date:
A conference talk presented at TYPES 2022.
The extended abstract can be found at (https://types22.inria.fr/files/2022/06/TYPES_2022_paper_36.pdf). The slide can be found at (https://types22.inria.fr/files/2022/06/TYPES_2022_slides_36.pdf).