We prove that epimorphisms are surjective in certain categories of ordered F-algebras. It then turns out that epimorphisms are also surjective in the category of all (unordered) algebras of type F.
生成讲解博客的中文版本
生成AI智能校验的中文版本