{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "EF4M77TDF4"
    }
  ],
  "body": "\n## Summary\n\nTwo [[varieties|AJNZJD8442]] are equivalent, or term equivalent, when each can be interpreted in the other and the two translations undo each other.\nEquivalent varieties have the same algebras up to a change of the basic operations, so they have the same subalgebras, congruences and term operations.\nThe standard example is the equivalence between Boolean algebras and Boolean rings.\n\n## Explanations\n\n### L1 human\n\nThe same structure can often be described with different basic operations.\nA Boolean algebra uses \"or\", \"and\" and \"not\", while a Boolean ring uses \"exclusive or\" and \"and\".\nEach set of operations can be written in terms of the other, and translating there and back gives the original operations.\nSo the two descriptions are equivalent: they are two names for one kind of structure.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08B05"
    ],
    "name": "Equivalence of varieties",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Variety_(universal_algebra)"
      }
    ],
    "tag": "9SNTXYEEBQ"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/9SNTXYEEBQ/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/9SNTXYEEBQ.md",
  "msc": [
    "08B05"
  ],
  "name": "Equivalence of varieties",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/9SN/9SNTXYEEBQ.md",
  "status": null,
  "tag": "9SNTXYEEBQ",
  "uri": "m2://9SNTXYEEBQ",
  "url": "https://tamnd.github.io/math2/wiki/equivalence-of-varieties/",
  "writing": {
    "tag": "9SNTXYEEBQ",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}