BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dimitri Ara

Dimitri Ara appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CTmath.AT

Catalog footprint

What is connected

16works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

16 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
preprint2015arXiv

The homotopy type of the $\infty$-category associated to a simplicial complex

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict $n$-categories. The main goal of our paper is to show one of these conditions. To do so, we associate to any simplicial complex a strict $\infty$-category generated by a computad. We conjecture that this $\infty$-category has the same homotopy type as the corresponding simplicial complex and we prove this conjecture when the simplicial complex comes from a poset. We introduce the notion of a quasi-initial object of an $\infty$-category and we show that Street's orientals admit such an object. One of the main tools used in this text is Steiner's theory of augmented directed complexes.

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