PRO

type of monoidal category in category theory

카테고리: