相关论文: Planar Heyting Algebras for Children 2: Local Oper…
Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links.…
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…
The linear representation hypothesis is the informal idea that semantic concepts are encoded as linear directions in the representation spaces of large language models (LLMs). Previous work has shown how to make this notion precise for…
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic…
In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting…
We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan…
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 provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.
The weak operator topology closed operator algebra on $L^2(R)$ generated by the one-parameter semigroups for translation, dilation and multiplication by $exp(i\lambda x), \lambda \geq 0$, is shown to be a reflexive operator algebra, in the…
We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the…
We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…
This paper concerns a theoretical approach that combines topological data analysis (TDA) and sheaf theory. Topological data analysis, a rising field in mathematics and computer science, concerns the shape of the data and has been proven…
We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…
The paper is largely concerned with the possibility of obtaining a series representation for a compact linear map $T$ acting between Banach spaces. It is known that, using the notions of $j-$eigenfunctions and $j-$% eigenvalues, such a…
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g.…
Rational Hopf algebras (certain quasitriangular weak quasi-Hopf $^*$-algebras) are expected to describe the quantum symmetry of rational field theories. In this paper methods are developped which allow for a classification of all rational…
For a smooth toric variety X over a field of positive characteristic, a T-equivariant \'{e}tale cover Y \rightarrow T^*X^{(1)} trivializing the sheaf of crystalline differential operators on X is constructed. This trivialization is used to…
A graph spanner is a fundamental graph structure that faithfully preserves the pairwise distances in the input graph up to a small multiplicative stretch. The common objective in the computation of spanners is to achieve the best-known…
We classify vertex operator algebras (VOAs) of OZ-type generated by Ising vectors of $\sigma$-type. As a consequence of the classification, we also prove that such VOAs are simple, rational, $C_2$-cofinite and unitary, that is, they have…
Let $E$ be a $W^{\ast}$-correspondence over a von Neumann algebra $M$ and let $H^{\infty}(E)$ be the associated Hardy algebra. If $\sigma$ is a faithful normal representation of $M$ on a Hilbert space $H$, then one may form the dual…