{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:db9228a3-e5a9-49b1-b8d6-6fe8691929c2",
  "labels": {
    "zh-CN": "单态射",
    "en": "monomorphism"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "651382ed5319a1e79d2f6c706193c1484381a7ae1d47ddc744e79e394b854167",
  "occurrences": [
    {
      "concept_id": "urn:uuid:db9228a3-e5a9-49b1-b8d6-6fe8691929c2",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/07-category-theory",
      "anchor": "first-d867cbce135267082c1b-zh",
      "chapter": "1",
      "section": "1.7",
      "offset": 2624,
      "range": [
        6267,
        6503
      ],
      "source_revision": "56c2dd3f3e71f89aaead3a16539cfb98a60754d15641f88ae63524aeaed5ae07",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "单态射(monomorphism)",
      "context": {
        "range": [
          6217,
          7026
        ],
        "quote": "\n> [!definition] 单态射 · 左可消去\n>\n> $\\varphi:A\\to B$ 是<u class=\"concept-term\" data-concept-identity=\"urn:uuid:db9228a3-e5a9-49b1-b8d6-6fe8691929c2\" data-concept-route=\"/concept-identities#concept-db9228a3-e5a9-49b1-b8d6-6fe8691929c2\" id=\"first-d867cbce135267082c1b-zh\">单态射(monomorphism)</u>，若对任意对象 $X$ 及 $\\alpha,\\alpha':X\\to A$，\n>\n> $$\n> \\varphi\\circ\\alpha=\\varphi\\circ\\alpha'\\Longrightarrow\\alpha=\\alpha'.\n> $$\n\n> [!definition] 满态射 · 右可消去\n>\n> $\\varphi:A\\to B$ 是<u class=\"concept-term\" data-concept-identity=\"urn:uuid:55363d96-9a7f-484d-be57-a1e93ae4df55\" data-concept-route=\"/concept-identities#concept-55363d96-9a7f-484d-be57-a1e93ae4df55\" id=\"first-db50bfe42e319116dbd4-zh\">满态射(epimorphism)</u>，若对任意对象 $X$ 及 $\\beta,\\beta':B\\to X$，\n>\n> $$\n> \\beta\\circ\\varphi=\\beta'\\circ\\varphi\\Longrightarrow\\beta=\\beta'.\n> $$\n",
        "quote_sha256": "ea5d62c85bdf2906b6aaf9a12b6cf82ed87d1c36f8676246bc8a885d325b857b",
        "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-2f2335788e1fec2b7431d20e"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/07-category-theory",
      "lang": "zh-CN",
      "section": "1.7",
      "signal": "term-mark",
      "label": "单态射",
      "english": "monomorphism",
      "offset": 1860
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-2f2335788e1fec2b7431d20e"
  ],
  "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": "82ab516f4e39d45ed0e714f8a6341448a70e55a9ef15b963afb2d18f453d7bf8",
  "optional_enrichments": []
}