Related papers: P{\l}onka Adjunction

In this paper we extend to left skew trusses $(T,+,\circ,\sigma)$ previous work on left skew rings. We had presented a left skew ring as a group $(N,+)$ with two binary operations $\circ$ and $\cdot$ with $\circ$ associative, $\cdot$ left…

We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a lax-idempotent pseudomonad. For instance, we establish the…

We prove that $KL_k(\mathfrak{sl}_m)$ is a semi-simple, rigid braided tensor category for all even $m\ge 4$, and $k= -\frac{m+1}{2}$ which generalizes result from arXiv:2103.02985 obtained for $m=4$. Moreover, all modules in…

Let $M_\Sigma$ be an $n$-dimensional Thom-Mather stratified space of depth $1$. We denote by $\beta M$ the singular locus and by $L$ the associated link. In this paper we study the problem of when such a space can be endowed with a wedge…

The signature of closed oriented manifolds is well-known to be multiplicative under finite covers. This fails for Poincar\'e complexes as examples of C. T. C. Wall show. We establish the multiplicativity of the signature, and more…

We apply the general theory of tensor products of modules for a vertex operator algebra developed in our papers hep-th/9309076, hep-th/9309159, hep-th/9401119, q-alg/9505018, q-alg/9505019 and q-alg/9505020 to the case of the…

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

We study orbits of semigroups of $\text{SL}(2,\mathbb{Z})$, and demonstrate reciprocity obstructions: we show that certain such orbits avoid squares, but not as a consequence of obstructions inherited from an algebraic set, and not as a…

For a connected semisimple Lie group $G$ we describe an explicit collection of correspondences between the admissible dual of $G$ and the admissible dual of the Cartan motion group associated with $G$. We conjecture that each of these…

In the setting of the lattice $\mathbb{Z}^n$ we consider a pseudo-differential operator $A$ whose symbol belongs to a class defined on $\mathbb{Z}^n\times \mathbb{T}^n$, where $\mathbb{T}^n$ is the $n$-torus. We realize $A$ as an operator…

We consider a finite dimensional strongly $G$-graded algebra $A$ with { self-injective} $1$-component $B$, and in our main result we prove that the induction from $B$ to $A$ of a basic support $\tau$-tilting pair of $B$-modules is a support…

A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\in\Delta}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\in\Delta}$ of elements in $S$. In this paper, we investigate how these sets…

We consider the linear lambda-calculus extended with the sup type constructor, which provides an additive conjunction along with a non-deterministic destructor. The sup type constructor has been introduced in the context of quantum…

We prove a conjecture of Zuber on the signature of intersection froms associated with affine algebras of type A.

Let $\lambda$, $\mu$, $\lambda'$, $\mu'$ be partitions. The conjecture of Lam, Postnikov and Pylyavskyy states that, if $\lambda+\mu = \lambda' + \mu'$, and $\min(\lambda_i-\lambda_j, \mu_i-\mu_j) \leq \lambda'_i - \lambda'_j \leq…

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal…

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We…

Let us consider a linear control system \Sigma on a connected Lie group G. It is known that the accessibility set A from the identity e is in general not a semigroup. In this article we associate a new algebraic object S to \Sigma which…

We determine purely algebraic equations to identify \textit{SLags} generated by invariant distributions in a class of non-K\"ahler Calabi-Yau manifolds. We determine SLag distributions, determine which leaves integrate to compact…

We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union.…