{"id":"arxiv/2602.21083","url":"https://arxiv.org/abs/2602.21083","tags":["math.CT","math.AT"],"score":0,"title":"A notion of semi-cubical tribe","domain":"math.CT","source":"arxiv","authors":["El Mehdi Cherradi"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-24","reactions":{}}