Source history
Original source: arXiv:2311.13362v1
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000037:pdf:e224780c6049d7980dc433d2268e0718c5427d5bfe9156b03432637ca0f65545:page:26:bbox:117.828,262.129,476.486,274.282",
"first_source_version": "2311.13362v1",
"chapter": "work-w000037",
"work": "W000037",
"kind": "Proof",
"number": "",
"title": "Proof. Since the external product preserves colimits in each variable, it suffices",
"source_version": "2311.13362v1",
"source": {
"pdf_sha256": "e224780c6049d7980dc433d2268e0718c5427d5bfe9156b03432637ca0f65545",
"page": 26,
"bbox": [
117.828,
262.129,
476.486,
274.282
]
},
"target": "/chapters/work-w000037.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}