Related papers: W-Types with Reductions and the Small Object Argum…
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a…
On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de…
Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let…
We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions…
The assignment of weights to attacks in a classical Argumentation Framework allows to compute semantics by taking into account the different importance of each argument. We represent a Weighted Argumentation Framework by a non-binary…
We initiate the study of pointed approximative absolute neighborhood retracts. Our motivation is to generate examples of C*-algebras that behave in unexpected ways with respect to weak semiprojectivity. We consider both weak…
W-algebra (of finite type) W is a certain associative algebra associated with a semisimple Lie algebra, say g, and its nilpotent element, say e. The goal of this paper is to study the category O for W introduced by Brundan, Goodwin and…
Conformal field theories based on $g/u(1)^d$ coset constructions where $g$ is a reductive algebra are studied.It is shown that the theories are equivalent to constrained WZNW models for $g.$ Generators of extended symmetry algebras and…
We extend the notion of generalized Whittaker models by allowing them to be built upon smooth irreducible representations of unipotent subgroups of a $p$-adic reductive group that are not necessarily characters, nor induced from Weil…
We construct algebra homomorphisms from affine Yangians to the current algebras of rectangular $W$-algebras both in type A. The construction is given via the coproduct and the evaluation map for the affine Yangians. As a consequence, we…
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of…
The property of some finite W algebras to be the commutant of a particular subalgebra of a simple Lie algebra G is used to construct realizations of G. When G=so(4,2), unitary representations of the conformal and Poincare algebras are…
There is a constrained-WZNW--Toda theory for any simple Lie algebra equipped with an integral gradation. It is explained how the different approaches to these dynamical systems are related by gauge transformations. Combining Gauss…
In this paper, we will start by looking through our project's historical general view and then we will try to construct a new Poisson bracket on our simplest example $sl_2$ and then we will try to give a universal construction based on our…
We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations.…
A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. The preferred structure…
Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…
Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to…
Metatheorems about type theories are often proven by interpreting the syntax into models constructed using categorical gluing. We propose to use only sconing (gluing along a global section functor) instead of general gluing. The sconing is…
We apply the new method for constructing integrable Hamiltonian hierarchies of Lax type equations developed in our previous paper, to show that all W-algebras W(gl_N,f) carry such a hierarchy. As an application, we show that all vector…