Locales in presheaf toposes vs. presheaves of locales
By a well-known characterisation, in a presheaf topos every internal suplattice is a presheaf of suplattices, but not every presheaf of suplattices is an internal suplattice (and similarly for frames). In this paper, we construct the free internal suplattice/frame on an presheaf of suplattices/frames, yielding a left adjoint to the forgetful functor from the respective internal structures to presheaves of structures. The description of this left adjoint has also appeared in recent work of Henry and Townsend, in connection to a different universal property, namely that of turning a lax…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.21273
curl -X POST /api/v1/records/arxiv/2606.21273/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.21273/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'