Questions tagged [coalgebras]

For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...

Filter by
Sorted by
Tagged with
18 votes
2 answers
2k views

What is a homotopy between $L_\infty$-algebra morphisms

A $L_\infty$-algebra can be defined in many different ways. One common way, that gives the 'right' kind of morphisms, is that a $L_\infty$-algebra is a graded cocommutative and coassociative ...
Mark.Neuhaus's user avatar
  • 2,004
15 votes
1 answer
564 views

presentability rank of categories of coalgebras

The following theorem is relatively classical: Theorem: Given an accessible endofunctor, (co)pointed endofunctor or (co)monad $T$ on a locally presentable category $C$, then the category of $T$-(co)...
Simon Henry's user avatar
  • 39.9k
10 votes
1 answer
460 views

Which W*-algebras are the duals of C*-coalgebras?

A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
Toby Bartels's user avatar
  • 2,644
5 votes
3 answers
485 views

On a dual of Kaplansky's $2^{nd}$ conjecture: admissible algebras?

Kaplansky's second conjecture (on Hopf algebras) deals with "admissible" coalgebras: He calls a coalgebra admissible, if there is an algebra structure making it a Hopf algebra. The conjecture states ...
Konstantinos Kanakoglou's user avatar
49 votes
7 answers
8k views

What is a coalgebra intuitively?

How to think about coalgebras? Are there geometric interpretations of coalgebras? If I think of algebras and modules as spaces and vectorbundles, what are coalgebras and comodules? What basic ...
20 votes
1 answer
1k views

How is a descent datum the same as a comodule structure?

For a homomorphism of commutative rings $f:R\to S$, there are at least two notions of a descent datum for this map. One of these is to be an $S$-module $M$, with an isomorphism $M\otimes_R S\cong S\...
Jonathan Beardsley's user avatar
13 votes
1 answer
1k views

Why not _co_free modules?

Let $R$ be a ring, and $R\text{-Mod}$ its category of all left modules. There is a "forgetful" functor $\operatorname{Forget}: R\text{-Mod} \to \text{AbGp}$, which is additive, continuous, and ...
Theo Johnson-Freyd's user avatar
6 votes
1 answer
225 views

A coalgebra structure on compact operators

Is there a coalgebra structure $\Delta_{n}$ on $M_{n}(\mathbb{C})$ which is compatible with the natural embedding $i_{n:}M_{n}(\mathbb{C})\to M_{n+1}(\mathbb{C})$ with $i_{n}(A)= A\oplus 0$. ...
Ali Taghavi's user avatar
5 votes
2 answers
503 views

Free cocommutative commutative Hopf monoids

I have some questions about generalizations of abelian groups, relative to symmetric monoidal categories. 1) Let $C$ be a cocomplete cartesian monoidal category with equalizers. I can show that the ...
Martin Brandenburg's user avatar
5 votes
0 answers
335 views

Does the associated graded functor take products of filtered k-coalgebras to graded k-coalgebras?

Let's suppose we have two noncommutative graded k-coalgebras $C_1$ and $C_2$ with respective admissible filtrations (i.e $F_{0}C_i=0$ and $\mathrm{colim}_k F_kC_i=C_i$), I would like to know if there ...
Victor TC's user avatar
  • 795