let $C$ be the category of $\tau$algebras for some type $\tau$. consider the statements:
 every monomorphism is regular.
 every epimorphism in C is surjective.
it is easy to see that 1. implies 2. what about the converse?
let $C$ be the category of $\tau$algebras for some type $\tau$. consider the statements:
it is easy to see that 1. implies 2. what about the converse? 


Update: the following exchange appeared on the categories mailing list several years ago: http://article.gmane.org/gmane.science.mathematics.categories/3094. Walter Tholen's response strongly suggests that the answer to Martin's question is that the converse does not hold, although I don't have access to the fourauthor article he cites as reference. It's probably worth a look though, and if I learn anything more I'll post another update. Second update: My surmise was correct. Walter Tholen kindly emailed to me the relevant two pages (pp. 8889) of the fourauthor paper
where the following example is given on page 89: in the category of semigroups with zero such that all 4fold products are zero, all epimorphisms are surjective but not all monos are regular [a specific nonregular mono is described]. (I can forward this email if you write to me at topological dot musings at gmail dot com.) Assuming amalgamated products exist (as they do in categories of algebras of a Lawvere theory), a mono i: A >> B is regular if it is the equalizer of the pair of canonical maps from B to the amalgamated product B *_A B (i.e., the coprojections of the pushout of i with itself, aka the cokernel pair of i). The equalizer of the cokernel pair defines a closure operator on the lattice of subalgebras Sub(B), called the dominion operator Dom_B. So to prove a subalgebra is not regular is to show that it is not Domclosed. The key technical result needed to prove the claim above is Isbell's ZigZag theorem (given in his paper Epimorphisms and Dominions in the 1965 La Jolla conference proceedings on categorical algebra), as recalled here, which gives a precise and useful criterion for an element to belong to the dominion (= Domclosure) of a subalgebra. Hope this helps. I am voting up your question, Martin, since it's rather nontrivial! 


Certainly not. Consider the category of groups: every epimorphism is surjective (see, e.g., Categories for the Working Mathematician, p. 21 exercise 5) but not every mono is a kernel. 

