free category with semigroup action的意思|示意
美 / /
英 / /
具有半群作用的自由范畴