A notion of semi-cubical tribe
The important notions our ideas revolve around are that of tribes, a class of categories aiming at modeling intensional type theory, and that of semi-cubical objects, for a category of cubes with symmetries and reversals. We introduce a general notion of $J$-tribes, tribes suitably enriched in presheaves over $J$, and $J$-frames in a tribe $\mathcal{T}$ as a category of $J$-shaped resolutions in $\mathcal{T}$, for a direct category $J$, and we construct the $J$-tribe of $J$-frames in $\mathcal{T}$. Similar notions of $R$-tribes and $R$-frames are introduced for $R$ a suitable generalized…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.21083
curl -X POST /api/v1/records/arxiv/2602.21083/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.21083/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'