English
Related papers

Related papers: Bases as Coalgebras

200 papers

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…

Category Theory · Mathematics 2026-05-25 David I. Spivak , Richard Garner , Aaron David Fairbanks

Classically, there are two model category structures on coalgebras in the category of chain complexes over a field. In one, the weak equivalences are maps which induce an isomorphism on homology. In the other, the weak equivalences are maps…

Algebraic Topology · Mathematics 2015-05-26 Gabriel C. Drummond-Cole , Joseph Hirsh

For a field $F$ and an integer $d\geq 1$, we consider the universal associative $F$-algebra $A$ generated by two sets of $d+1$ mutually orthogonal idempotents. We display four bases for the $F$-vector space $A$ that we find attractive. We…

Rings and Algebras · Mathematics 2009-06-23 Tatsuro Ito , Paul Terwilliger

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

Algebraic Topology · Mathematics 2014-02-26 Kathryn Hess , Brooke Shipley

The so called generalized down-up algebras are revisited from a viewpoint of Gr\"obner basis theory. Particularly it is shown explicitly that generalized down-up algebras are solvable polynomial algebras (provided $\lambda\omega\ne 0$), and…

Rings and Algebras · Mathematics 2022-01-11 Rabigul Tuniyaz , Gulshadam Yunus

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…

Quantum Algebra · Mathematics 2007-05-23 Alain Bruguières , Alexis Virelizier

Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…

Category Theory · Mathematics 2014-09-08 J. P. Pridham

In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra…

Rings and Algebras · Mathematics 2021-03-24 Ivan Chajda , Helmut Länger

We find a new braided Hopf structure for the algebra satisfied by the entries of the braided matrix $BSL_q(2)$. A new nonbraided algebra whose coalgebra structure is the same as the braided one is found to be a two parameter deformed…

Quantum Algebra · Mathematics 2007-05-23 A. Yildiz

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad $T$, we construct a free--forgetful relative pseudoadjunction that exhibits the bicategory of $T$-pseudoalgebras as terminal among…

Category Theory · Mathematics 2025-01-23 Nathanael Arkor , Philip Saville , Andrew Slattery

Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…

Mathematical Physics · Physics 2025-09-30 Derek Courchesne , Sébastien Tremblay

We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…

Quantum Algebra · Mathematics 2009-12-22 Jean-Louis Loday , Maria O. Ronco

Many structured categories of interest are most naturally described as algebras for a relative monad, but turn out nonetheless to be algebras for an ordinary monad. We show that, under suitable hypotheses, the left oplax Kan extension of a…

Category Theory · Mathematics 2025-06-12 Umberto Tarantino , Joshua Wrigley

We consider Clifford algebras over the field of real or complex numbers as a quotient algebra without fixed basis. We present classification of Clifford algebra elements based on the notion of quaternion type. This classification allows us…

Mathematical Physics · Physics 2011-09-13 D. S. Shirokov

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…

Quantum Physics · Physics 2012-09-24 Jamie Vicary

We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…

Category Theory · Mathematics 2025-10-10 Yangxiao Luo , Shunyu Wan

We construct pairs of algebras with mixed independence relations by using truncations of reduced free products of algebras. For example, we construct free-Boolean pairs of algebras and free-monotone pairs of algebras. We also introduce…

Operator Algebras · Mathematics 2017-11-27 Weihua Liu

In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some…

Differential Geometry · Mathematics 2014-01-07 Benoît Jubin

This note is to show the effectiveness of the notion of pseudoalgebra in the theory of conformal algebras. We adduce very simple construction of free associative conformal algebra and find its linear basis. There is no any new result but we…

Quantum Algebra · Mathematics 2007-05-23 Pavel Kolesnikov

We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon \Delta_{\operatorname{inert}} \to \Delta$ takes general…

Category Theory · Mathematics 2026-03-13 Philip Hackney , Joachim Kock