Source history
Original source: arXiv:1504.04007v7
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000003:pdf:6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3:page:75:bbox:89.881,171.229,493.526,181.411",
"first_source_version": "1504.04007v7",
"chapter": "work-w000003",
"work": "W000003",
"kind": "Observation",
"number": "5.11",
"title": "Observation 5.11. The functor (27) lifts as a functor to symmetric monoidal ∞-categories",
"source_version": "1504.04007v7",
"source": {
"pdf_sha256": "6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3",
"page": 75,
"bbox": [
89.881,
171.229,
493.526,
181.411
]
},
"target": "/chapters/work-w000003.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}