Generic bundles over a localic category
In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.20407
curl -X POST /api/v1/records/arxiv/2605.20407/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.20407/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'