Related papers: 6-Functor Formalisms and Smooth Representations

In this paper we consider the problems of supervised classification and regression in the case where attributes and labels are functions: a data is represented by a set of functions, and the label is also a function. We focus on the use of…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

We define a category $\mathsf{List}$ whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codomain. We introduce and study a category of simplicial objects…

We introduce the notion of affine strict polynomial functor. We show how this concept helps to understand homological behavior of the operation of Frobenius twist in the category of strict polynomial functors over a field of positive…

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…

We develop a functorial approach to the study of the homotopy groups of spheres and Moore spaces $M(A,n)$, based on the Curtis spectral sequence and the decomposition of Lie functors as iterates of simpler functors such as the symmetric or…

In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…

Langlands' functoriality principle predicts deep relations between the local and automorphic spectra of different reductive groups. This has been generalized by the relative Langlands program to include spherical varieties, among which…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a…

Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional''…

The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest…

Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories…

In a previous paper I gave a presentation for the Quillen higher algebraic K-groups of an exact category in terms of "acyclic binary multicomplexes". In this paper I take that presentation as a definition of the higher K-groups, generalize…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…