Related papers: Non-Simplicial Nerves for Two-Dimensional Categori…
We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of…
Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…
We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…
We provide a model of the String group as a central extension of finite-dimensional 2-groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of…
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…
The aim of this paper is to prove that the A$_{\infty}$-nerve of two quasi-equivalent A$_{\infty}$-categories (linear over a commutative ring) are weak-equivalent in the Joyal model structure. As a consequence we prove that the…
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory…
In this dissertation, we compare the "classical" homology of an $\omega$-category (defined as the homology of its Street nerve) with its polygraphic homology. More precisely, we prove that both homologies generally do not coincide and call…
We study the size of Sheehy's subdivision bifiltrations, up to homotopy. We focus in particular on the subdivision-Rips bifiltration $\mathcal{SR}(X)$ of a metric space $X$, the only density-sensitive bifiltration on metric spaces known to…
Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…
In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's…
The well-known conditions for a simplicial set to be the nerve of a small category generalize with respect to two parameters: the dimension n of the things which compose, and the position i of the thing which is the result of the…
The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of…
Wiltshire-Gordon has introduced a homotopy model for ordered configuration spaces on a given simplicial complex. That author asserts that, after a suitable subdivision, his model also works for unordered configuration spaces. We supply…
The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the…
The classifying diagram was defined by Rezk and is a generalization of the nerve of a category; in contrast to the nerve, the classifying diagram of two categories is equivalent if and only if the categories are equivalent. In this paper we…
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…
We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…
We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…