30 citations · 35 across the 4 of their papers we have counts for
4 papers
Lax functorialities of the comma construction for -categories
Dimitri Ara, Léonard Guetta
Motivated by the Grothendieck construction, we study the functorialities of the comma construction for strict -categories. To state the most general functorialities, we use the…
The folk model category structure on strict -categories is monoidal
Dimitri Ara, Maxime Lucas
We prove that the folk model category structure on the category of strict -categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor pr…
The dendroidal category is a test category
Dimitri Ara, Denis-Charles Cisinski, Ieke Moerdijk
We prove that the category of trees is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model…
Higher quasi-categories vs higher Rezk spaces
Dimitri Ara
We introduce a notion of n-quasi-categories as fibrant objects of a model category structure on presheaves on Joyal's n-cell category Θ_n. Our definition comes from an idea of Cisi…