Questions tagged [coalgebras]
For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...
122
questions
0
votes
0
answers
101
views
$C^\infty$-coring
We know that there the so called smooth algebras also known as $C^\infty$-rings. They can play an important role in modern treatment of differential geometry. Is there a coring analogue?
0
votes
1
answer
217
views
Hopf algebras actions
Can you write down a general type of Hopf algebra action? How do you justify the name "action", when it is already used for group actions?
There must be a common core, if the same term is ...
1
vote
0
answers
106
views
Reference for cocommutative coalgebras
I'm looking for references on cocommutative coalgebras where I can see them as kind of infinitesimal spaces. I'm trying to understand this post Why do Lie algebras pop up, from a categorical point of ...
3
votes
0
answers
80
views
Is there a way in which "space" of random variables on $\mathbb{R}$ is canonically a coaugmented coalgebra?
Consider the "space" of random variables with finite expectation on $\mathbb{R}$ in the following sense: we fix the Borel $\sigma$-algebra on $\mathbb{R}$, and put random variables in ...
1
vote
0
answers
127
views
Can't parse a statement in an article on coalgebras and umbral calculus
This question is cross-posted from MSE.
I am reading Nigel Ray's "Universal Constructions in Umbral Calculus" (1998, published in "Mathematical Essays in Honor of Gian-Carlo Rota", ...
5
votes
0
answers
188
views
When are topoi of coalgebras atomic?
A geometric morphism is atomic if its inverse image is logical. Now consider a Grothendieck topos $\varepsilon$ and its terminal geometric morphism $\Gamma : \varepsilon \rightarrow Set$, topos is ...
4
votes
0
answers
140
views
Has anyone studied factoring as a CO-product?
In factorization, like integer factorization, you start with an integer and end up with a kind-of list of pairs of other elements, namely the factors.
I want to explore the "Co-ness" of this....
2
votes
0
answers
88
views
Subcoalgebras of symmetric algebra
Consider the symmetric algebra $S(V)$, with its coalgebra structure: $\Delta(x)=1\otimes x+x\otimes1$ on $V$, extended multiplicatively. What are its subcoalgebras?
In some vague sense, they seem to ...
5
votes
1
answer
225
views
Infinite-dimensional, non-unital Frobenius algebras
A Frobenius algebra is a tuple $(A,\mu,\delta,\eta,\varepsilon)$, where $A$ is a vector space over some field, $(A,\mu,\eta)$ a unital associative algebra, and $(A,\delta,\varepsilon)$ a counital ...
4
votes
1
answer
212
views
Hopf algebra and coideal question
Let $A$ be a Hopf algebra (over a field). Consider a unital subalgebra $B\subseteq A$ with $\Delta(B)\subseteq B\otimes A$. Put
$$B^+:= B\cap \ker(\epsilon).$$
It can be shown that $B^+$ is a two-...
2
votes
0
answers
78
views
Is there a coalgebraic definition of filtered algebras?
If $M$ is a monoid, then an $M$-graded algebra over $k$ is the same thing as a $k[M]$ comodule algebra. To see this, if $\delta$ is a coaction of $k[M]$ on an algebra $A$, for each $m \in M$ define
$$...
3
votes
1
answer
116
views
Equivalent definitions of pro-unipotent coalgebras
I'm trying to find a reference in the literature for equivalence of the following two definitions of pro-unipotent coalgebras.
Definition Let be $H$ a coagumented coalgebra and let $\Delta \colon H \...
6
votes
1
answer
154
views
Lie coalgebra with no finite-dimensional subcoalgebras
In Walter Michaelis' paper Lie Coalgebras, he gives on page 9 an explicit example of a Lie coalgebra which is not the union of its finite-dimensional Lie subcoalgebras. In fact, Michaelis' example has ...
2
votes
1
answer
140
views
Coproduct for a Frobenius algebra
The definition of a Frobenius algebra given here describes it as a monoid and a comonoid in a monoidal category with a compatability condition. For the special case of the category of vector spaces a ...
3
votes
0
answers
106
views
Inverse limit of chains of Eilenberg Mac Lane spaces
Let $... \to G_2 \to G_1$ an inverse system of abelian groups with inverse limit $G$, let $n \geq 2$ and $F$ a field. The induced inverse system $$... \to C_*(K(G_2,n);F) \to C_*(K(G_1,n);F) \ (*)$$
...