Type Theory for unbiased monoidal categories

Last updated Oct 7, 2024