General algebraic systems Partial, multi-sorted and other generalized algebras Concept
Many-sorted algebra
Summary
A many-sorted algebra has several carrier sets, one for each sort, and operations whose arguments and values may lie in different carriers. It is also called a heterogeneous algebra. Many-sorted algebras describe structures with several kinds of objects. Examples are a module with its ring of scalars, and an automaton with its states and its input letters. They are the standard setting for the algebraic specification of abstract data types in computer science.
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | WAQJJ5GX68 |
|---|---|
| URI | m2://WAQJJ5GX68 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 08A68, 68Q65 |
| Specializes | Algebraic structure |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.