Related papers: Bounded distributive lattices with strict implicat…
A binary relation defined on a poset is a weakening relation if the partial order acts as a both-sided compositional identity. This is motivated by the weakening rule in sequent calculi and closely related to models of relevance logic. For…
Here we initiate an investigation of the equational classes of m-symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of…
We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between…
This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economically and in a uniform way, categories ofstructures dually…
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge…
By omitting the unitary constraint from the definition of weak post-Hopf algebras, we introduce the concept of relaxed weak post-Hopf algebras, offering a thorough characterization of all feasible relaxed weak post-Hopf algebraic structures…
We introduce the notion of partial representation of a weak Hopf algebra. We present the universal algebra $H_{par}^w$, which factorizes these partial representations by algebra morphisms. Also, it is shown that $\Hp$ is isomorphic to a…
We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact…
This is an introduction to double algebras which is the structure modelled by the properties of the convolution product in Hopf algebras, weak Hopf algebras and in Hopf algebroids. We show that Hopf algebroids with a Frobenius integral can…
We try to classify Hopf algebras with the dual Chevalley property of discrete corepresentation type over an algebraically closed field $\Bbb{k}$ with characteristic 0. For such Hopf algebra $H$, we characterize the link quiver of $H$ and…
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…
Restricted twisted Heisenberg Lie superalgebras are studied over an algebraically closed field F of characteristic p > 0. We determine the restricted structures and use the ordinary 1- and 2-cohomology spaces with trivial coefficients to…
We introduce the class of generalized biserial quiver algebras and prove that they provide a complete classification of all weakly symmetric biserial algebras over an algebraically closed field.
If A is a finite-dimensional symmetric algebra, then it is well-known that the only silting complexes in $\mathrm{K^b}(\mathrm{proj}A)$ are the tilting complexes. In this note we investigate to what extent the same can be said for weakly…
For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…
We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in…
Motivated by q-shuffle products determined by Singer from q-analogues of multiple zeta values, we build in this article a generalisation of the shuffle and stuffle products in terms of weak shuffle and stuffle products. Then, we…
We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal operators on Nelson lattices. To achieve this, we utilize…