On multivarieties and multialgebraic categories (Q5946463): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On abstract data types presented by multiequations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categories multialgebriques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categories localement multipresentables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multimonads and multimonadic categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank |
Revision as of 20:47, 3 June 2024
scientific article; zbMATH DE number 1658981
Language | Label | Description | Also known as |
---|---|---|---|
English | On multivarieties and multialgebraic categories |
scientific article; zbMATH DE number 1658981 |
Statements
On multivarieties and multialgebraic categories (English)
0 references
29 May 2002
0 references
Let \(A\) be an algebra of type \(\Delta\). We say that \(A\) satisfies a multiequation \((\alpha_i=\beta_i)_{i\in I}\) (here \(\alpha_ i=\beta_i\) is an equation over \(\Delta\) for every \(i\in I\)) provided that for every interpretation of variables in \(A\) there exists precisely one \(i\in I\) such that the computation of \(\alpha_i\) and \(\beta_i\) in \( A\) yields the same value. Then a multivariety is the class of algebras satisfying a multiequation. This paper gives a categorical characterization of multivarieties. It is proved that multivarieties generalize multialgebraic categories and a necessary and sufficient condition to a multivariety is given (it says that a multivariety has effective equivalence relations) to be categorically equivalent with a multialgebraic category.
0 references
variety
0 references
limits and colimits
0 references
algebraic category
0 references
multiequation
0 references
multivariety
0 references
multialgebraic category
0 references