Let C be a class of algebras of a given fixed type t. Associated with the
type is a first order language L_t. One can then ask the question, when is the
class C axiomatisable by sentences of L_t. In this paper we will be considering
axiomatisability problems for classes of left S-posets over a pomonoid S (that
is, a monoid S equipped with a partial order compatible with the binary
operation). We aim to determine the pomonoids S such that certain categorically
defined classes are axiomatisable.