Definition of Multisorted. Meaning of Multisorted. Synonyms of Multisorted

- together with maps between them form the category Law. Variations include multisorted (or multityped) Lawvere theory, infinitary Lawvere theory, and finite-product...
- single type, which can be limiting. He argued that sometimes we need multisorted algebras—families of interfaces that span multiple types, such as in...
- analog to the logical concept of a theory and its models. They allow multisorted models and models in any category. Sketches were invented in 1968 by...
- allowing an object to have multiple underlying sets, that is, to be multisorted. The category of pointed sets with point-preserving functions is not...