4 papers
math.CT2026
Generalized inverse diagrams in tribes
El Mehdi Cherradi
Starting from a generalized direct category , we construct an absolutely dense functor with domain a strict direct category. Given any tribe ,…
math.CT2026
Internal languages of locally cartesian closed -categories
El Mehdi Cherradi
We establish a DK-equivalence between the relative category of -tribes and the relative category of locally cartesian closed quasicategories. From this follows one of the inter…
math.CT2026
Semi-cubical tribes
El Mehdi Cherradi
We introduce a general notion of -tribe, and construct the -tribe of -frames in a given tribe , where a suitable generalized direct category. This constru…
math.CT2026
Flat functors in the context of fibration categories
El Mehdi Cherradi
We investigate the connection between left exact -functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure…