On epimorphisms of ordered algebras
Rings and Algebras
2017-11-15 v1 Category Theory
Abstract
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.
Cite
@article{arxiv.1711.04082,
title = {On epimorphisms of ordered algebras},
author = {Nasir Sohail and Boza Tasic},
journal= {arXiv preprint arXiv:1711.04082},
year = {2017}
}