{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "231CSHFC5K"
    },
    {
      "field": "uses",
      "target": "5BNBYZVECW"
    },
    {
      "field": "uses",
      "target": "6ZS77J1873"
    },
    {
      "field": "uses",
      "target": "93T4M1R5CT"
    },
    {
      "field": "uses",
      "target": "956E1C2VE6"
    },
    {
      "field": "uses",
      "target": "9R9MVA4PWR"
    },
    {
      "field": "uses",
      "target": "AT8K76KJ5R"
    },
    {
      "field": "uses",
      "target": "AYQ3VQ4B0V"
    },
    {
      "field": "uses",
      "target": "BQC9DW8TSZ"
    },
    {
      "field": "uses",
      "target": "C0GMFP0RF9"
    },
    {
      "field": "uses",
      "target": "C3JHS6W73G"
    },
    {
      "field": "uses",
      "target": "C5ANXPS4YN"
    },
    {
      "field": "uses",
      "target": "D8EYFTW4RY"
    },
    {
      "field": "uses",
      "target": "G0MYA3D9ZZ"
    },
    {
      "field": "uses",
      "target": "G206NVQYVD"
    },
    {
      "field": "uses",
      "target": "H5QDJACKMS"
    },
    {
      "field": "uses",
      "target": "J5QPP8REV6"
    },
    {
      "field": "uses",
      "target": "JS0YH5E9ZR"
    },
    {
      "field": "uses",
      "target": "K1SQAAN8D3"
    },
    {
      "field": "uses",
      "target": "KJB47D7Z05"
    },
    {
      "field": "uses",
      "target": "MHF34RK5ZT"
    },
    {
      "field": "uses",
      "target": "NPPEERJVCR"
    },
    {
      "field": "uses",
      "target": "NW2WW3WSH8"
    },
    {
      "field": "uses",
      "target": "PBE65H0506"
    },
    {
      "field": "uses",
      "target": "PZKBP4F5HB"
    },
    {
      "field": "uses",
      "target": "SM2KFBGJTH"
    },
    {
      "field": "uses",
      "target": "SSP0CC967X"
    },
    {
      "field": "uses",
      "target": "TAVG968272"
    },
    {
      "field": "uses",
      "target": "TKG3YF2G5A"
    },
    {
      "field": "uses",
      "target": "VWYXK7E49K"
    },
    {
      "field": "uses",
      "target": "W1VV1MP5EG"
    },
    {
      "field": "uses",
      "target": "XAQSNBJSX4"
    },
    {
      "field": "uses",
      "target": "XYZWTQD6NN"
    },
    {
      "field": "uses",
      "target": "YGHYD555Y7"
    },
    {
      "field": "uses",
      "target": "YZXV7CHF5R"
    },
    {
      "field": "uses",
      "target": "Z3MQ1D5Q38"
    },
    {
      "field": "specializes",
      "target": "HTK9WQZJ1G"
    },
    {
      "field": "specializes",
      "target": "RVXDSY04KG"
    },
    {
      "field": "specializes",
      "target": "Y2NP1JFR86"
    },
    {
      "field": "specializes",
      "target": "YF9F9EG6M3"
    },
    {
      "field": "defines",
      "target": "XZ6NNH7JED"
    }
  ],
  "body": "\n## Summary\n\nA morphism is an arrow $f \\colon A \\to B$ of a [[category|A2DE66937D]], from its domain $A$ to its codomain $B$.\nMorphisms abstract structure-preserving maps such as [[group homomorphisms|0JYTG5K9Y4]], [[linear maps|0NRYHJPQG2]] and [[continuous maps|0VGFHTM75Y]].\nIsomorphisms, endomorphisms and automorphisms are special morphisms defined only through domains, codomains and composition.\nMuch of [[category theory|Q1RZT7DV0F]] consists of describing objects by the morphisms into them and out of them.\n\n## Explanations\n\n### L1 human\n\nA morphism is an arrow from one object to another that can be chained with other arrows.\nIn most examples it is a map that respects the structure, but a category does not need to say what the arrow \"does\" to elements.\nAn isomorphism is an arrow that can be undone by another arrow.\nFor instance, in the category of vector spaces over $\\R$, an invertible $2 \\times 2$ matrix gives an isomorphism $\\R^2 \\to \\R^2$.\nA matrix with determinant $0$ gives a morphism that is not an isomorphism.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A05",
      "18A20"
    ],
    "name": "Morphism",
    "same_as": {
      "wikidata": "Q1948412",
      "wikipedia": "Morphism"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Morphism"
      }
    ],
    "tag": "859F0TFVA3"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/859F0TFVA3/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/859F0TFVA3.md",
  "msc": [
    "18A05",
    "18A20"
  ],
  "name": "Morphism",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/859/859F0TFVA3.md",
  "status": null,
  "tag": "859F0TFVA3",
  "uri": "m2://859F0TFVA3",
  "url": "https://tamnd.github.io/math2/wiki/morphism/",
  "writing": {
    "tag": "859F0TFVA3",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}