Related papers: Iterated algebraic injectivity and the faithfulnes…

Let M be a von Neumann algebra of type II_1 which is also a complemented subspace of B(H). We establish an algebraic criterion, which ensures that M is an injective von Neumann algebra. As a corollary we show that if M is a complemented…

In this paper, we introduce and develop the circle embedding method. This method hinges essentially on a combinatorial-geometric structure which we choose to call circles of partition. We provide applications in the context of problems that…

The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of…

We define the notion of index-module for a couple of A-lattices in a vector space, A being a Dedekind ring. We apply this notion to prove by elementary means that a weak Gras conjecture (i.e for irreducible nontrivial Q-characters) holds…

To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the…

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

This paper builds on earlier work, where the authors described Whittaker modules for the Virasoro algebra. Using a framework of Batra and Mazorchuk, the current paper investigates a category of Virasoro algebra modules that includes…

In this note we consider the coniveau filtration on the Grothendieck group of a regular separated noetherian scheme and its behavior with respect to the multiplication and the lambda ring structure. We show that a weak multiplicativity…

A novel algebra underlying integrable systems is shown to generate and unify a large class of quantum integrable models with given $R$-matrix, through reductions of an ancestor Lax operator and its different realizations. Along with known…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…

In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or…

This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and M\"obius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…

We define the tricategory of algebraic conformal nets, defects, sectors and intertwiners where algebraic refers to the absence of a topology on the relevant algebras and modules. We aim at making these definitions satisfying from a…

I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is…