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.)
|