Source history
Original source: arXiv:1308.2587v2
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000018:pdf:d4b73e81c2d103667372d12e34baa676dae5c8ad58653a23751db2b69b93e422:page:9:bbox:108.0,455.858,227.585,466.767",
"first_source_version": "1308.2587v2",
"chapter": "work-w000018",
"work": "W000018",
"kind": "Proof",
"number": "",
"title": "Proof. There is a functor",
"source_version": "1308.2587v2",
"source": {
"pdf_sha256": "d4b73e81c2d103667372d12e34baa676dae5c8ad58653a23751db2b69b93e422",
"page": 9,
"bbox": [
108.0,
455.858,
227.585,
466.767
]
},
"target": "/chapters/work-w000018.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}