Mario Román

Search

Search IconIcon to open search

Strict monoidal category

Last updated Apr 23, 2024

On strictification.