PRO

type of monoidal category in category theory

Kategoriler: