{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:cd7c1e52-5581-4c58-a6a9-96f8fbe4fcfe",
  "labels": {
    "zh-CN": "态射",
    "en": "morphism"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "6b59e81eb9ed99e6a79e4249064be86494fb54761b7a9414882d45bf6d1ad494",
  "occurrences": [
    {
      "concept_id": "urn:uuid:cd7c1e52-5581-4c58-a6a9-96f8fbe4fcfe",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/07-category-theory",
      "anchor": "first-9d18b9bce96c8bc75704-zh",
      "chapter": "1",
      "section": "1.7",
      "offset": 998,
      "range": [
        4641,
        4872
      ],
      "source_revision": "56c2dd3f3e71f89aaead3a16539cfb98a60754d15641f88ae63524aeaed5ae07",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "态射(morphism)",
      "context": {
        "range": [
          4522,
          5405
        ],
        "quote": "\n> [!definition] 范畴\n>\n> 一个范畴包含：\n>\n> 1. 一类称为**对象**的成员。这里使用“类”而不是“集合”，因为“全部集合”这样的汇集太大，不能直接作为集合而避免基础矛盾。\n> 2. 对每对对象 $A,B$，有<u class=\"concept-term\" data-concept-identity=\"urn:uuid:cd7c1e52-5581-4c58-a6a9-96f8fbe4fcfe\" data-concept-route=\"/concept-identities#concept-cd7c1e52-5581-4c58-a6a9-96f8fbe4fcfe\" id=\"first-9d18b9bce96c8bc75704-zh\">态射(morphism)</u>集 $\\operatorname{Mor}(A,B)$，其中的成员记为 $\\phi:A\\to B$。\n> 3. 对 $\\phi:A\\to B$ 与 $\\psi:B\\to C$，有复合态射 $\\psi\\circ\\phi:A\\to C$，并满足结合律\n>\n> $$\n> (\\rho\\circ\\psi)\\circ\\phi=\\rho\\circ(\\psi\\circ\\phi).\n> $$\n>\n> 每个对象 $A$ 还有<u class=\"concept-term\" data-concept-identity=\"urn:uuid:bf12827c-4e18-4a4b-b0cd-beaf17f4c035\" data-concept-route=\"/concept-identities#concept-bf12827c-4e18-4a4b-b0cd-beaf17f4c035\" id=\"first-5e0f22120a3c6f2ec2ec-zh\">恒等态射(identity morphism)</u> $\\iota_A:A\\to A$，满足 $\\phi\\circ\\iota_A=\\phi$ 与 $\\iota_A\\circ\\psi=\\psi$，只要复合的定义域、陪域相匹配。\n",
        "quote_sha256": "9d3de3302c9bd61996c1d3398a574f2af44db94774c5959c1443aa566a70a4b4",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/07-category-theory",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-c51bdfaec4bb1bc66c07a9e7"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/07-category-theory",
      "lang": "zh-CN",
      "section": "1.7",
      "signal": "term-mark",
      "label": "态射",
      "english": "morphism",
      "offset": 616
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-c51bdfaec4bb1bc66c07a9e7"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "3b3fd55d3a99554de210a15400a9d3fd93fdee9aa18e7a0cc410cd3477529bc8",
  "optional_enrichments": []
}