Related papers: Notes on Multiple Higher Category Theory
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…
We prove that for $d\geq 3$, the 1-skeleton of any $(d-1)$-dimensional doubly Cohen Macaulay (abbreviated 2-CM) complex is generically $d$-rigid. This implies the following two corollaries (by Kalai and Lee respectively): Barnette's lower…
We introduce two new classes of single-valued contractions of polynomial type defined on a metric space. For the first one, called the class of polynomial contractions, we establish two fixed point theorems. Namely, we first consider the…
We introduce \emph{flagged $(\infty,n)$-categories} and prove that they are equivalent to Segal sheaves on Joyal's category ${\mathbf\Theta}_n$. As such, flagged $(\infty,n)$-categories provide a model-independent formulation of Segal…
This paper introduces the concept of gluing in a general category, enabling us to define categories that admit glued-up objects. To achieve this, we introduce the notion of a gluing index category. Subsequently, we provide an entirely…
This paper introduces a new construction of subcomplexes associated with a truncated multicomplex. Inspired by the machinery of spectral sequences, this construction yields a collection of interrelated subcomplexes whose differentials…
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
We introduce a dependent type theory whose models are weak {\omega}-categories, generalizing Brunerie's definition of {\omega}-groupoids. Our type theory is based on the definition of {\omega}-categories given by Maltsiniotis, himself…
In this paper, we develop the higher descent equations for higher gauge theories within the framework of 2-term $L_{\infty}$ algebras. Starting from a multilinear symmetric invariant polynomial, we construct a family of higher Chern-Simons…
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…
In the study of equisingularity of families of mappings Gaffney introduced the crucial notion of excellent unfoldings. This definition essentially says that the family can be stratified so that there are no strata of dimension 1 other than…
In this paper, we give a geometric construction of string algebras and of their module categories. Our approach uses dissections of punctured Riemann surfaces with extra data at marked points, called labels. As an application, we give a…
This paper examines the string topology category of a manifold, defined by Blumberg, Cohen and Teleman. Since the string topology category is a subcategory of a compactly generated triangulated category, the machinery of stratification,…
We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…
We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this…
The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…
Starting from a higher Courant bracket associated to exceptional generalized geometry, we provide a systematic derivation of all types of fluxes and their Bianchi identities for four-dimensional compactifications of M-theory. We show that…
We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional…