Source history
Original source: arXiv:1312.3178v4
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000029:pdf:b46de6e9131ec8c905d26f55ce7ed402758a46b49e1f417db0fa840f3ba41888:page:94:bbox:89.879,488.939,520.355,502.139",
"first_source_version": "1312.3178v4",
"chapter": "work-w000029",
"work": "W000029",
"kind": "Lemma",
"number": "A",
"title": "Lemma A.5.8. Suppose F : C ⇄D : U is a monadic adjunction such that C has all small colimits, D has",
"source_version": "1312.3178v4",
"source": {
"pdf_sha256": "b46de6e9131ec8c905d26f55ce7ed402758a46b49e1f417db0fa840f3ba41888",
"page": 94,
"bbox": [
89.879,
488.939,
520.355,
502.139
]
},
"target": "/chapters/work-w000029.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}