论文标题
关于正常单态的Huq-Commutativity的注释
A note on the Huq-commutativity of normal monomorphisms
论文作者
论文摘要
我们为一对Unital类别中的一对Bourn正常单态Huq-Commute提供了替代标准。我们用它来证明，在一个统一类别中，当且仅当其内核是零态度时，形态是单态性，一对与同一代码域Huq-Commute的Bourn正常单态，一旦它们具有微不足道的回扣。作为推论，我们表明，仅在原始环境中知道的几个事实实际上在更一般的情况下才是正确的。
We give an alternative criteria for when a pair of Bourn-normal monomorphisms Huq-commute in a unital category. We use this to prove that in a unital category, in which a morphism is a monomorphism if and only if its kernel is zero morphism, a pair of Bourn-normal monomorphisms with the same codomain Huq-commute as soon as they have trivial pullback. As corollaries we show that several facts known only in the protomodular context are in fact true in more general contexts.
