Monoidal范畴的两种构造

Two constructions of monoidal categories

通过范畴的扩张构造两类monoidal范畴。给定一个monoidal范畴,构造了一个回路范畴并证明其仍然为monoidal范畴。给定一个加法monoidal范畴及一个加法严格monoidal函子,证明可以构造一个仍然为monoidal范畴的平凡扩张范畴。

Two monoidal categories by the extensions of category are constructed,and it is proved that a loop category of a given monoidal category is a monoidal category. For an additive monoidal category and an additive strict monoidal functor,it is proved that its trivial extension is a monoidal category.