Abstract. In the category of universal algebras of the same given type that fulfil the so-called interchange laws we discover two full subcategories one of which is exponential in the other and, consequently, cartesian closed.

AMS Subject Classification (1991): 08C05, 18D15

Received August 14, 1990. (Registered under 5534/2009.)