{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "ERTRZPKA1Q"
    },
    {
      "field": "uses",
      "target": "FMCWXA0WT4"
    },
    {
      "field": "uses",
      "target": "KKJ9F6JJY0"
    },
    {
      "field": "uses",
      "target": "V465WCM25T"
    }
  ],
  "body": "\n## Summary\n\nA lattice homomorphism is a map between two [[lattices|WH4SFAACAS]] that preserves [[join and meet|J2T75ATRV5]].\nEvery lattice homomorphism is [[monotone|0A7KV2WB7A]], but a monotone map need not preserve joins or meets.\nLattice homomorphisms are the morphisms of the category of lattices; their kernels are the lattice congruences, and the bijective ones are the lattice isomorphisms.\n\n## Explanations\n\n### L1 human\n\nA lattice homomorphism carries one lattice into another and keeps best common bounds.\nThe best common upper bound of two elements goes to the best common upper bound of their images, and the same for lower bounds.\nFor example, fix a subset $A$ of a set $X$ and send each subset $S$ of $X$ to $S \\cap A$.\nThen $(S \\cup T) \\cap A = (S \\cap A) \\cup (T \\cap A)$ and $(S \\cap T) \\cap A = (S \\cap A) \\cap (T \\cap A)$.\nSo this map from the subsets of $X$ to the subsets of $A$ is a lattice homomorphism.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06B05"
    ],
    "name": "Lattice homomorphism",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lattice_(order)"
      }
    ],
    "tag": "BNVRR925X8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/BNVRR925X8/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/BNVRR925X8.md",
  "msc": [
    "06B05"
  ],
  "name": "Lattice homomorphism",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BNV/BNVRR925X8.md",
  "status": null,
  "tag": "BNVRR925X8",
  "uri": "m2://BNVRR925X8",
  "url": "https://tamnd.github.io/math2/wiki/lattice-homomorphism/",
  "writing": {
    "tag": "BNVRR925X8",
    "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
      }
    ]
  }
}