Source history
Original source: arXiv:2009.02428v5
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000038:pdf:5cdcfa76eff90b2cdd0383e7a232e3e9bc8d21714454ab94c2862118f17c3692:page:33:bbox:62.399,529.534,501.768,542.176",
"first_source_version": "2009.02428v5",
"chapter": "work-w000038",
"work": "W000038",
"kind": "Proof",
"number": "",
"title": "Proof. By Example 3.7 the functor Cat∞→Cat∞/V⊗×W⊗, K ↦V⊗×K×W⊗induces a functor ξ ∶Cat∞→",
"source_version": "2009.02428v5",
"source": {
"pdf_sha256": "5cdcfa76eff90b2cdd0383e7a232e3e9bc8d21714454ab94c2862118f17c3692",
"page": 33,
"bbox": [
62.399,
529.534,
501.768,
542.176
]
},
"target": "/chapters/work-w000038.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}