{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "4RG1RB1MXH"
    },
    {
      "field": "uses",
      "target": "M4N5FNNYCF"
    },
    {
      "field": "uses",
      "target": "N67R59ZVC4"
    },
    {
      "field": "uses",
      "target": "P6AJ840RV4"
    },
    {
      "field": "uses",
      "target": "PBE65H0506"
    },
    {
      "field": "uses",
      "target": "WYZVC78ZE5"
    },
    {
      "field": "defines",
      "target": "NW2WW3WSH8"
    }
  ],
  "body": "\n## Summary\n\nA zero morphism is a distinguished [[morphism|859F0TFVA3]] between two objects that behaves like multiplication by zero.\nComposing it with any morphism on either side gives again a zero morphism.\nIn a category with a [[zero object|AQET9YHH6F]], the zero morphism $X \\to Y$ is the composite $X \\to 0 \\to Y$.\nZero morphisms are needed to define kernels and cokernels, and they make sense of the statement that a composite is zero.\n\n## Explanations\n\n### L1 human\n\nIn the category of groups, the zero morphism from $G$ to $H$ is the homomorphism that sends every element of $G$ to the identity of $H$.\nIt is the \"do nothing useful\" map, and it exists between any two groups.\nIf you follow it with any homomorphism, or precede it with any homomorphism, you still send everything to the identity.\nFor linear maps between vector spaces, the zero morphism is the zero map $v \\mapsto 0$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A20",
      "18A05"
    ],
    "name": "Zero morphism",
    "same_as": {
      "wikidata": "Q2905069",
      "wikipedia": "Zero morphism"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Zero_morphism"
      }
    ],
    "specializes": [
      "859F0TFVA3"
    ],
    "tag": "YF9F9EG6M3"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/YF9F9EG6M3/",
  "links": [
    {
      "field": "specializes",
      "target": "859F0TFVA3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YF9F9EG6M3.md",
  "msc": [
    "18A20",
    "18A05"
  ],
  "name": "Zero morphism",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YF9/YF9F9EG6M3.md",
  "status": null,
  "tag": "YF9F9EG6M3",
  "uri": "m2://YF9F9EG6M3",
  "url": "https://tamnd.github.io/math2/wiki/zero-morphism/",
  "writing": {
    "tag": "YF9F9EG6M3",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}