A morphism μ:A→B of a category K for which αμ=βμ (α, β from K) implies that α=β (in other words, μ can be cancelled on the right). An ...
確定! 回上一頁