Mario Román

Search

Search IconIcon to open search

Coherent multicategory from promonoidals

Last updated Feb 3, 2024

coherent-multicategory-from-promonoidals