Source history
Original source: arXiv:1502.06526v3
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000042:pdf:83dc22a4fec8db8b1f318063e934fb28e0dd807325660a7dbfa7f12bebc06b4b:page:39:bbox:70.92,67.824,541.233,85.287",
"first_source_version": "1502.06526v3",
"chapter": "work-w000042",
"work": "W000042",
"kind": "Proof",
"number": "",
"title": "Proof. Since the functors sv, tv : CÓ Ñ C are symmetric monoidal and symmetric monoidal func-",
"source_version": "1502.06526v3",
"source": {
"pdf_sha256": "83dc22a4fec8db8b1f318063e934fb28e0dd807325660a7dbfa7f12bebc06b4b",
"page": 39,
"bbox": [
70.92,
67.824,
541.233,
85.287
]
},
"target": "/chapters/work-w000042.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}