Related papers: Gray-categories model algebraic tricategories

We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…

We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas…

It is shown that any localisation of triangulated categories induces (up to an equivalence) a localisation of abelian categories when one passes to their abelianisations. From this one obtains for any enlargement of Grothendieck universes…

We construct a pseudo-localization of the 2-category of combinatorial Quillen model categories with respect to Quillen equivalences, and then verify that it embeds in a 2-category of Grothendieck derivators.

In 2018, Kalck and Yang showed that the singularity categories associated with $3$-dimensional Gorenstein quotient singularities are triangle equivalent (up to direct summands) to small cluster categories associated with McKay quivers with…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair…

We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…

We prove that the 2-category Grt of Grothendieck abelian categories with colimit preserving functors and natural transformations is a bicategory of fractions in the sense of Pronk of the 2-category Site of linear sites with continuous…

For each $n \geq -1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we prove can be constructed as the Bousfield…

Let kQ be the path algebra of a quiver Q with its standard grading. We show that the category of graded kQ-modules modulo those that are the sum of their finite dimensional submodules, QGr(kQ), is equivalent to several other categories: the…

Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding…

We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…

We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on…

Weak $\infty$-categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipulation of explicit coherence data. This motivates the search…

This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly…

We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…

We classify weakly Einstein submanifolds in space forms that satisfy Chen's equality. We also give a classification of weakly Einstein hypersurfaces in space forms that satisfy the semisymmetric condition. In addition, we discuss some…

This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…