Questions tagged [coalgebras]
For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...
10
questions
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 ...
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)...
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 ...
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 ...
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\...
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 ...
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$. ...
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 ...
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 ...