Related papers: Dualities in the complicial model of $\infty$-cate…
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…
We study perturbations of Feller generators under `lower order terms' with measurable coefficients. We investigate which properties of the original semigroup -- such as positivity, conservativeness and the Feller property -- are passed to…
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
Duality is an indispensable tool for describing the strong-coupling dynamics of gauge theories. However, its actual realization is often quite subtle: quantities such as the partition function can transform covariantly, with degrees of…
The free (4,0) superconformal theory in 6 dimensions and its toroidal dimensional reductions are studied. The reduction to four dimensions on a 2-torus has an $SL(2,\Z)$ duality symmetry that acts non-trivially on the linearised gravity…
For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…
We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of…
We give a general construction of categorical idempotents which recovers the categorified Jones-Wenzl projectors, categorified Young symmetrizers, and other constructions as special cases. The construction is intimately tied to cell theory…
In this paper we investigate N=1 supersymmetric gauge theories with a product gauge group. By using smoothly confining dynamics, we can find new dualities which include higher-rank tensor fields, and in which the dual gauge group is simple,…
We establish various criteria for the inertness of the top cell attachments of Poincar\'{e} duality complexes through nonzero degree maps, algebraic intersection theory and various types of homotopy fibrations. Many examples are provided,…
In this article, we study short exact sequences of finitary 2-representations of a weakly fiat 2-category. We provide a correspondence between such short exact sequences with fixed middle term and coidempotent subcoalgebras of a coalgebra…
Over function fields of p-adic curves, we construct stably rational varieties in the form of homogeneous spaces of SL_n with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places…
This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial…
To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…
The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction -- vertices for the complex are either the rows or the…
We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the…
We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…
We define and study a correspondence between the set of distinguished G^0-conjugacy classes in a fixed connected component of a reductive group G (with G^0 almost simple) and the set of (twisted) elliptic conjugacy classes in the Weyl…
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…
This article introduces a weak pseudo-inverse of a monotone function, which is applied to characterize the associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=t^{[-1]}(F(t(x),t(y)))$ where…