{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $\\mathcal{C}$ be a [[category|A2DE66937D]].\nAn object $I$ of $\\mathcal{C}$ is *initial* if for every object $X$ of $\\mathcal{C}$ there is exactly one [[morphism|859F0TFVA3]] $I \\to X$.\nAn object $T$ of $\\mathcal{C}$ is *terminal* if for every object $X$ of $\\mathcal{C}$ there is exactly one morphism $X \\to T$.\n\n## Remarks\n\nIf $I$ and $I'$ are both initial, the unique morphisms $I \\to I'$ and $I' \\to I$ compose to the unique endomorphisms, which are the identities, so they are inverse isomorphisms.\nSo an initial object is unique up to unique isomorphism, and the same holds for terminal objects.\nA terminal object of $\\mathcal{C}$ is an initial object of $\\mathcal{C}^{\\mathrm{op}}$.\nCommon notations are $0$ or $\\emptyset$ for an initial object and $1$ or $*$ for a terminal object.\n\nExample: in the category of sets, the [[empty set|0ECVK59Y03]] is initial, since the empty function is the only function $\\emptyset \\to X$.\nEvery one-point set $\\{*\\}$ is terminal, since the constant map is the only function $X \\to \\{*\\}$.\nIn the category of rings with identity, $\\Z$ is initial and the zero ring is terminal.\n\nNon-example: in the category of sets, the two-point set $\\{0, 1\\}$ is not terminal, since a non-empty set $X$ has $2^{\\abs{X}} \\ge 2$ functions to it.\nThe category of fields has no initial object, since a field homomorphism preserves the characteristic, so no field maps to both $\\mathbb{F}_2$ and $\\Q$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "EK85VSSRMR",
    "kind": "definition",
    "msc": [
      "18A30",
      "18A05"
    ],
    "name": "Initial and terminal objects",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Initial_and_terminal_objects"
      }
    ],
    "tag": "93T4M1R5CT",
    "uses": [
      "A2DE66937D",
      "859F0TFVA3",
      "0ECVK59Y03"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/93T4M1R5CT/",
  "links": [
    {
      "field": "defines",
      "target": "EK85VSSRMR"
    },
    {
      "field": "uses",
      "target": "A2DE66937D"
    },
    {
      "field": "uses",
      "target": "859F0TFVA3"
    },
    {
      "field": "uses",
      "target": "0ECVK59Y03"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/93T4M1R5CT.md",
  "msc": [
    "18A30",
    "18A05"
  ],
  "name": "Initial and terminal objects",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/93T/93T4M1R5CT.md",
  "status": null,
  "tag": "93T4M1R5CT",
  "uri": "m2://93T4M1R5CT",
  "url": "https://tamnd.github.io/math2/wiki/initial-and-terminal-objects-definition/",
  "writing": {
    "tag": "93T4M1R5CT",
    "kind": "definition",
    "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
      }
    ]
  }
}