Mario Román

Search

Search IconIcon to open search

monoid action on the runtime

Last updated Dec 2, 2024

monoid-action-on-the-runtime

Back: premonoidal category