Related papers: Corecursive Algebras, Corecursive Monads and Bloom…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…
We discuss free probability theory and free harmonic analysis from a categorical perspective. In order to do so, we extend first the set of analytic convolutions and operations and then show that the comonadic structure governing free…
We show that the infinite symmetric product of a connected graded-commutative algebra over the rationals is naturally isomorphic to the free graded-commutative algebra on the positive degree subspace of the original algebra. In particular,…
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…
We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the…
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to…
Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…
The Kalmbach monad is the monad that arises from the free-forgetful adjunction between bounded posets and orthomodular posets. We prove that the category of effect algebras is isomorphic to the Eilenberg-Moore category for the Kalmbach…
A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and in the theory of species. We prove that the composition of two cofree coalgebras is again cofree, and we give sufficient…
An algebra with identities $(a,b,c)=(a,c,b)=(b,a,c)$ is called {\it assosymmetric}, where $(x,y,z)=(xy)z-x(yz)$ is associator. We study $S_n$-module, $A_n$-module and $GL_n$-module structures of free assosymmetric algebra.
A trinomial algebra is a commutative finitely generated algebra given by a system of compatible relations each of which is a polynomial with three terms. Such algebras arise as the Cox rings of varieties admitting a complexity one torus…
As it is known, the defining identities of a free Novikov algebra can be obtained from a commutative algebra with a derivation. In this paper, we consider a class of algebras obtained from the class of associative algebras with a derivation…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with…