Mario Román

Search

Search IconIcon to open search

comomonoid

Last updated Oct 14, 2024

comomonoids

Tags: monoidal category, monoid