The modal theory of the category of sets
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the size of the world, and the permitted substitution instances. Our main technical tool is a modality-and-quantifier elimination theorem for the first-order modal language of equality, reducing formulas to finite Boolean combinations of partition conditions and exact cardinality assertions. This yields exact classifications for the main categories of sets, including the full subcategories of finite sets and of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.25550
curl -X POST /api/v1/records/arxiv/2603.25550/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.25550/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'