{
  "id": "lm-000798",
  "title": "當四不再是四_數學推導中的域遷移、範疇類型偷換與語義域有效性",
  "source_file": "content/papers/2026/2026-06/當四不再是四_數學推導中的域遷移、範疇類型偷換與語義域有效性.md",
  "legacy_slug": "paper-920.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-06-20",
  "year": 2026,
  "month": "2026-06",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-000798/",
  "raw_url": "/raw/lm-000798.md",
  "api_url": "/api/papers/lm-000798.json",
  "legacy_page_url": "/papers/paper-920.md.html",
  "legacy_raw_url": "/papers/paper-920.md",
  "hash": "sha256:da8785781f54c6f77ecec855e3849cd5cb3505dfd496211e34c062b822091673"
}