Related papers: W-Types with Reductions and the Small Object Argum…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same…
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…
The purpose of this article is to investigate relations between W-superalgebras and integrable super-Hamiltonian systems. To this end, we introduce the generalized Drinfel'd-Sokolov (D-S) reduction associated to a Lie superalgebra $g$ and…
In this paper we apply some tools developed in our previous work on Grothendieck $\infty$-groupoids to the finite-dimensional case of weak 3-groupoids. We obtain a semi-model structure on the category of Grothendieck 3-groupoids of suitable…
In this paper we present a systematic study of $W$ algebras from the Hamiltonian reduction point of view. The Drinfeld-Sokolov (DS) reduction scheme is generalized to arbitrary $sl_2$ embeddings thus showing that a large class of W algebras…
In this article, we establish some new combinatorial properties of cone types in Coxeter groups. Firstly, we show that for any element $x$ in a Coxeter group $W$ and root $\beta$ in its inversion set $\Phi(x)$, the set of elements $y \in W$…
We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…
We show how the categorical logic of untyped, simply typed and dependently typed lambda calculus can be structured around the notion of category with family (cwf). To this end we introduce subcategories of simply typed cwfs (scwfs), where…
We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$,…
We propose an extension of pure type systems with an algebraic presentation of inductive and co-inductive type families with proper indices. This type theory supports coercions toward from smaller sorts to bigger sorts via explicit type…
All rational semisimple braided tensor categories are representation categories of weak quasi Hopf algebras. To proof this result we construct for any given category of this kind a weak quasi tensor functor to the category of finite…
Let G be a p-adic reductive group, and R an algebraically closed field. Let us consider a smooth representation of G on an R-vector space V. Fix an open compact subgroup K of G and a smooth irreducible representation of K on a…
Motivated by generalizing Khovanov's categorification of the Jones polynomial, we study functors $F$ from thin posets $P$ to abelian categories $\mathcal{A}$. Such functors $F$ produce cohomology theories $H^*(P,\mathcal{A},F)$. We find…
We give a geometric proof of inverse Hamiltonian reduction for all affine W-algebras in type A at generic level, a certain embedding of the affine W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that…
We introduce constructible directed complexes, a combinatorial presentation of higher categories inspired by constructible complexes in poset topology. Constructible directed complexes with a greatest element, called atoms, encompass common…
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
In this paper we classify endofunctors on the simplex category, and we identify those that induce weak equivalence preserving functors on the category of simplicial sets.
Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…
We give an algebraic characterization of the syntax and operational semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed syntax with variable binding and equipped with reduction rules via a…