Timing monoidal lax categories

Last updated May 29, 2023

• Report: pdf.