4 papers
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…
A notion of semi-cubical tribe
El Mehdi Cherradi
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 categor…
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 ,…
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 intern…