BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dimitri Ara

Dimitri Ara contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTmath.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2026arXiv

Lax functorialities of the comma construction for $ω$-categories

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 language of Gray $ω$-categories, that is, categories enriched in the category of strict $ω$-categories endowed with the oplax Gray tensor product. Our main result is that the comma construction of strict $ω$-categories defines a Gray $ω$-functor, that is, a morphism of Gray $ω$-categories. To makes sense of this statement, we prove that slices of Gray $ω$-categories exist. Coming back to the Grothendieck construction, we propose a definition in terms of the comma construction and, as a consequence, we get that the Grothendieck construction of strict $ω$-categories defines a Gray $ω$-functor. Finally, as a by-product, we get a notion of Grothendieck construction for Gray $ω$-functors, which we plan to investigate in future work.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof

This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the current paper, we give a conceptual proof of an $\infty$-categorical nature of the same theorem. This proof is based on the theory of join and slices for strict $\infty$-categories developed by the authors in a previous paper, and on a comma construction for strict $\infty$-categories generalizing classical comma categories and Gray's comma 2-categories. This $\infty$-categorical comma construction is used by the first author in another paper to prove a generalization of Quillen's Theorem B to strict $\infty$-categories. We believe that the importance of this comma construction in the theory of $\infty$-categories goes far beyond the scope of homotopy theory.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The folk model category structure on strict $ω$-categories is monoidal

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 product and, second, for the join of $ω$-categories, introduced by the first author and Maltsiniotis. We moreover show that the Gray tensor product induces, by adjunction, a tensor product of strict $(m,n)$-categories and that this tensor product is also compatible with the folk model category structure. In particular, we get a monoidal model category structure on the category of strict $ω$-groupoids. We prove that this monoidal model category structure satisfies the monoid axiom, so that the category of Gray monoids, studied by the second author, bears a natural model category structure.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

A Quillen Theorem B for strict $\infty$-categories

We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for strict $\infty$-categories, that we introduced with Maltsiniotis in a previous paper, is the homotopy pullback with respect to Thomason equivalences. We give several applications of these results, including the construction of new models for certain Eilenberg-Mac Lane spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A Quillen's Theorem A for strict $\infty$-categories I: the simplicial proof

The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Model category structures à la Thomason on 2-Cat

In his paper "Théories homotopiques des 2-catégories", Jonathan Chiche studies homotopy theories on 2-Cat, the category of small strict 2-categories, given by classes of weak equivalences which he calls basic localizers of 2-Cat. These basic localizers of 2-Cat are a 2-categorical generalization of the notion of a basic localizer introduced by Grothendieck in "Pursuing stacks". In this paper, we deduce from the results of Jonathan Chiche and results we have obtained with Georges Maltsiniotis that for essentially every basic localizer W of 2-Cat, there exists a model category structure à la Thomason on 2-Cat whose weak equivalences are given by W. We show that these model category structures model exactly combinatorial left Bousfield localization of the classical homotopy theory of simplicial sets.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On autoequivalences of the (\infty, 1)-category of \infty-operads

We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by Toën, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our calculation is based on the model of complete dendroidal Segal spaces introduced by Cisinski and Moerdijk. Similarly, we prove that the (\infty, 1)-category of autoequivalences of non-symmetric \infty-operads is the discrete monoidal category associated to Z/2Z. We also include a computation of the (\infty, 1)-category of autoequivalences of (\infty, n)-categories based on Rezk's Θ_n-spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Higher quasi-categories vs higher Rezk spaces

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 Cisinski and Joyal. However, we show that this idea has to be slightly modified to get a reasonable notion. We construct two Quillen equivalences between the model category of n-quasi-categories and the model category of Rezk Θ_n-spaces showing that n-quasi-categories are a model for (\infty, n)-categories. For n = 1, we recover the two Quillen equivalences defined by Joyal and Tierney between quasi-categories and complete Segal spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Towards a Thomason model structure on the category of strict n-categories

The purpose of this article is to present ideas towards obtaining a model category structure on the category of small strict n-categories, generalizing the one obtained by Thomason on ordinary categories. Following ideas of Grothendieck and Cisinski, we obtain an "abstract Thomason theorem", which easily implies the classical Thomason theorem. We deduce a 2-categorical Thomason theorem, an incorrect proof of which has been published by K. Worytkiewicz, K. Hess, P. Parent and A. Tonks. For n > 2, we isolate sufficient conditions to obtain an n-categorical Thomason theorem. These conditions will be investigated in further work.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On homotopy types modelized by strict \infty-groupoids

The purpose of this text is the study of the class of homotopy types which are modelized by strict \infty-groupoids. We show that the homotopy category of simply connected \infty-groupoids is equivalent to the derived category in homological degree greater or equal to 2 of abelian groups. We deduce that the simply connected homotopy types modelized by strict \infty-groupoids are precisely the products of Eilenberg-Mac Lane spaces. We also briefly study 3-categories with weak inverses. We finish by two questions about the problem suggested by the title of this text.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the homotopy theory of Grothendieck \infty-groupoids

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of Grothendieck \infty-groupoids does not depend on any choice. This allows us to give equivalent characterizations of weak equivalences of Grothendieck \infty-groupoids, generalizing a well-known result for strict \infty-groupoids. On the other hand, given a model category M in which every object is fibrant, we construct, following Grothendieck, a fundamental \infty-groupoid functor Π_\infty from M to the category of Grothendieck \infty-groupoids. We show that if X is an object of M, then the homotopy groups of Π_\infty(X) and of X are canonically isomorphic. We deduce that the functor Π_\infty respects weak equivalences.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The groupoidal analogue Theta~ to Joyal's category Theta is a test category

We introduce the groupoidal analogue \tildeΘto Joyal's cell category Θand we prove that \tildeΘis a strict test category in the sense of Grothendieck. This implies that presheaves on \tildeΘmodel homotopy types in a canonical way. We also prove that the canonical functor from Θto \tildeΘis aspherical, again in the sense of Grothendieck. This allows us to compare weak equivalences of presheaves on \tildeΘto weak equivalences of presheaves on Θ. Our proofs apply to other categories analogous to Θ.

0 citations0 reviewsNo code linkedOpen access