Epimorphisms and subepimorphisms

In this series of talks we will prove that epimorphisms are surjective in certain varieties of ordered universal algebras. We will then consider the notion of a subepimorphism.