Another Cartesian closed category of partial algebras
In the present note the author discovers another cartesian closed subcategory of the category of partial algebras of a given type and discusses it in relation to those from his previous papers. He uses a new, unified and effective way for introducing the categories considered. This way is based on the use of generalized matrices when defining the properties of partial algebras resulting in these categories. All cartesian closed categories dealt with are initially structured and the author describes their function spaces.
scientific article