Related papers: Classification Diagrams of Marked Simplicial Sets

We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen…

From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…

We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has Prufer 2-rank at most two. This article covers the signalizer functor theory and identifies the groups of Lie…

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

We prove that, for any fields $k$ and $\mathbb{F}$ of characteristic $0$ and any finite group $T$, the category of modules over the shifted Green biset functor $(kR_{\mathbb{F}})_T$ is semisimple.

We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…

In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of…

A classification is given for factorizations of almost simple groups with at least one factor solvable, and it is then applied to characterize $s$-arc-transitive Cayley graphs of solvable groups, leading to a striking corollary: Except the…

We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…

Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to…

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…

Inspired by recent work on the categorical semantics of dependent type theories, we investigate the following question: When is logical structure (crucially, dependent-product and subobject-classifier structure) induced from a category to…

We formulate the concept of minimal fibration in the context of fibrations in the model category $\mathbf{S}^\mathcal{C}$ of $\mathcal{C}$-diagrams of simplicial sets, for a small index category $\mathcal{C}$. When $\mathcal{C}$ is an…

We show that several apparently unrelated formulas involving left or right Bousfield localizations in homotopy theory are induced by comparison maps associated with pairs of adjoint functors. Such comparison maps are used in the article to…

We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…

In this paper we study the question of how to transfer homotopic structure from the category sD of simplicial objects in a fixed category D to D. To this end we use a sort of homotopy colimit s : sD --> D, which we call simple functor. For…