{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "eilenberg-maclane-natural-equivalences-1945",
    "title": "Eilenberg and Mac Lane: general theory of natural equivalences",
    "summary": "Introduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.",
    "boundary": "The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.",
    "area": "Algebra",
    "year": 1945,
    "lane": "HUMAN",
    "result": "FORMALIZATION",
    "package_id": "eilenberg-maclane-natural-equivalences-1945",
    "target": {
      "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
      "version": 1,
      "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
    },
    "humans": [
      "Samuel Eilenberg",
      "Saunders MacLane"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "ams-eilenberg-maclane-natural-equivalences-1945",
        "title": "AMS copy of General Theory of Natural Equivalences",
        "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf"
      },
      {
        "id": "crossref-eilenberg-maclane-natural-equivalences-1945",
        "title": "Crossref record for General Theory of Natural Equivalences",
        "url": "https://api.crossref.org/works/10.1090%2FS0002-9947-1945-0013131-6"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://people.math.osu.edu/cogdell.1/6112-Eilenberg%26MacLane-www.pdf",
      "target": {
        "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
        "version": 1,
        "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://people.math.osu.edu/cogdell.1/6112-Eilenberg%26MacLane-www.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "370000",
    "published_grade": {
      "id": "eilenberg-maclane-natural-equivalences-1945",
      "entry_id": "eilenberg-maclane-natural-equivalences-1945",
      "band": "S",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
        "version": 1,
        "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
      },
      "what_changed": "Introduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.",
      "scope": "The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
        "version": 1,
        "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Samuel Eilenberg",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "AMS copy of General Theory of Natural Equivalences",
            "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Saunders MacLane",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "AMS copy of General Theory of Natural Equivalences",
            "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "AMS copy of General Theory of Natural Equivalences",
            "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Crossref record for General Theory of Natural Equivalences",
            "url": "https://api.crossref.org/works/10.1090%2FS0002-9947-1945-0013131-6"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.",
        "domain": "Algebra"
      },
      "sources": [
        {
          "citation": "AMS copy of General Theory of Natural Equivalences",
          "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf"
        },
        {
          "citation": "Crossref record for General Theory of Natural Equivalences",
          "url": "https://api.crossref.org/works/10.1090%2FS0002-9947-1945-0013131-6"
        }
      ],
      "statement": "# Eilenberg and Mac Lane: general theory of natural equivalences\n\nIntroduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.\n\n## Scientific scope\n\nThe record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nSamuel Eilenberg; Saunders MacLane\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [AMS copy of General Theory of Natural Equivalences](https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf)\n- [Crossref record for General Theory of Natural Equivalences](https://api.crossref.org/works/10.1090%2FS0002-9947-1945-0013131-6)\n",
      "summary": "Introduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.",
      "title": "Eilenberg and Mac Lane: general theory of natural equivalences"
    },
    "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
      "version": 1,
      "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:88ad3eef6643a414144f8c743f591fa874e8e35a17d6b3446e0a9e6ced71fc1c"
  },
  "target": {
    "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
    "version": 1,
    "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "eilenberg-maclane-natural-equivalences-1945",
    "entry_id": "eilenberg-maclane-natural-equivalences-1945",
    "revision": 1,
    "title": "Eilenberg and Mac Lane: general theory of natural equivalences",
    "context": "Algebra",
    "track": "FORMALIZATION",
    "band": "S",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Introduced categories, functors and natural equivalences as a general language for expressing mappings, constructions and naturality across algebra and topology.",
    "scope": "The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1945 Transactions of the AMS paper. Earlier uses of related diagrams, later category-theory foundations, enriched or higher categories and categorical logic remain separate.",
    "references": [
      {
        "title": "AMS copy of General Theory of Natural Equivalences",
        "url": "https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/S0002-9947-1945-0013131-6.pdf",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Crossref record for General Theory of Natural Equivalences",
        "url": "https://api.crossref.org/works/10.1090%2FS0002-9947-1945-0013131-6",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Samuel Eilenberg",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Saunders MacLane",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:4e106d43-acca-45c3-a0c8-ddb9124bccf6",
      "version": 1,
      "content_hash": "sha256:863d8593438c00f99585ccf4be28d76f7e500e280526a68f4d4bf5f228993136"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "370000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}