Related papers: Monadic NM-algebras
Ono's modal FL-algebras are models of an extension of Full Lambek logic that has the modalities ! and ? of linear logic. Here we define a notion of modal FL-cover system that combines aspects of Beth-Kripke-Joyal semantics with Girard's…
For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…
We introduce a notion of oriented dialgebra and develop a cohomology theory for oriented dialgebras based on the possibility to mix the standard chain complexes computing group cohomology and associative dialgebra cohomology. We also…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
Various concepts associated with quadratic algebras admit natural generalizations when the quadratic algebras are replaced by graded algebras which are finitely generated in degree 1 with homogeneous relations of degree N. Such algebras are…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…
We give a systematic construction of Hopf algebra structures on braided cofree coalgebras. The relevant underlying structures are braided algebras and braided coalgebras. We provide some interesting examples of these algebras and coalgebras…
We show that a wide class of $W$-(super)algebras, including $W_N^{(N-1)}$, $U(N)$-superconformal as well as $W_N$ nonlinear algebras, can be linearized by embedding them as subalgebras into some {\em linear} (super)conformal algebras with…
In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial functors we include upper and lower probability measures,…
We present a coalgebraic framework for studying generalisations of dynamic modal logics such as PDL and game logic in which both the propositions and the semantic structures can take values in an algebra $\mathbf{A}$ of truth-degrees. More…
In recent times, there has been a lot of active research on monomial groups in two different directions. While group theorists are interested in the study of their normal subgroups and Hall subgroups, the interest of group ring theorists…
We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject.
The notion of bounded ideals is introduced for quasi-metric spaces. Such ideals give rise to a monad, the bounded ideal monad, on the category of quasi-metric spaces and non-expansive maps. Algebras of this monad are metric version of local…
Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the arity $\lambda$ of a Horn theory understood as a strict upper…
Quantified Boolean logic results from adding operators to Boolean logic for existentially and universally quantifying variables. This extends the reach of Boolean logic by enabling a variety of applications that have been explored over the…
Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…
In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric…