Direct Sums of Partial Algebras and Final Algebraic Structures
Direct Sums of Partial Algebras and Final Algebraic Structures
Słomiński ( 9 ), as well as the author ( 8 ), gave a descriptive, i.e., noncategory-theoretic, definition of the direct sum of partial algebras, i.e., the co-product in the category of partial algebras (A,ƒ) , where ƒ = (ƒ i ) i∈I , ƒ i : dom ƒ i …