Related papers: Theorem A for marked 2-categories

Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and…

By algebraic group theory, there is a map from the semisimple conjugacy classes of a finite group of Lie type to the conjugacy classes of the Weyl group. Picking a semisimple class uniformly at random yields a probability measure on…

A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven…

This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are…

In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of…

The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups…

This work is a continuation of Automorphisms of $K$-groups I, P. Flavell, preprint. The main object of study is a finite $K$-group $G$ that admits an elementary abelian group $A$ acting coprimely. For certain group theoretic properties…

This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$\A=(\A,{\Ah},c,(0,g,d),a,(1,l,r),{\Lh},{\Rh})$$ be an Ann-category. The coherence theorem…

This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…

We prove that categorified quantum sl(2) is an inverse limit of Flag 2-categories defined using cohomology rings of iterated flag varieties. This inverse limit is an instance of a 2-limit in a bicategory giving rise to a universal property…

Let $G$ be a finite group with $2$-Sylow subgroup of order less than or equal to 16. For such a $G$, we prove a quantified version of Quillen's uniform $\mathcal{F}_p$-isomorphism theorem, which holds uniformly for all $G$-spaces. We do…

We show under mild hypotheses that a Quillen adjunction between stable model categories induces another Quillen adjunction between their left localizations, and we provide conditions under which the localized adjunction is a Quillen…

I give a mini-survey of several approaches to the $A_2$ theorem, biased towards the "corona" rather than the "Bellman" side of the coin. There are two new results (a streamlined form of Lerner's local oscillation formula, and the sharpness…

We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories. The result will induce a Dold-Kan…

Let $G$ be a semisimple simply-connected algebraic group over an algebraically closed field of characteristic zero. We prove that the affine Hecke category associated to the loop group of $G$ is equivalent to the colimit, evaluated in the…

We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which…

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…

For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely…