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
-3 votes
0 answers
32 views

Hi... I just beginning with the study of categories so my question might seem elementary. [closed]

Please in want to know how to show that the functor $\mathcal{P}(\Sigma \times Id) $ weakly preserve pullbacks.
user avatar
  • 1
4 votes
0 answers
96 views

Coalgebraic logic in a general category?

Are there any works on coalgebraic logic (which is, in a way, generalization of modal logic, where we have an object $W$ in a category and a $T$-coalgebra $(W, \gamma)$; modal logic is a spacial case ...
user avatar
  • 93
3 votes
0 answers
42 views

Literature for modal logic and coalgebras (focused on logic and category theory)

I've been looking for literature that focuses on coalgebras and modal logic. But all literature I can find is mostly related to automata theory, or otherwise takes heavy influence from computer ...
user avatar
  • 93
3 votes
1 answer
33 views

A morphism of coalgebras related to Binomial coefficients

I am looking for a hint to prove that $$\Delta({t\choose n})= \sum\limits_{i=0}^{n} {t\choose i} \otimes {t\choose n-i} $$ where ${t\choose k}= \frac{t(t-1)...(t-k+1)}{k!}$ is a polynomial in $t$, $\...
user avatar
5 votes
0 answers
63 views

Consequences of coherence in a monoidal category

Let $\mathcal{D}_i = \left( D_i, \otimes_i, \mathbf{1}_i \right)$ be two cocomplete additive monoidal categories and let $\mathcal{F} \colon \mathcal{D}_1 \rightarrow \mathcal{D}_2$ be a strong ...
user avatar
  • 301
1 vote
1 answer
44 views

(co)algebras of the adjunction between presheaves and bundles

For a topological space $X$ and the lattice of open sets $LX$, there is an extension of the "inclusion" (don't know what to call it) functor $F:LX\to\text{Top}/X$ along the Yoneda embedding $...
user avatar
13 votes
2 answers
468 views

What is a most elementary Coalgebra?

I just read the definition of a coalgebra, defined categorically ( reversing the arrows of the Algebra category ), the given example in the text I am referring to is the Homology on a topological ...
user avatar
3 votes
1 answer
72 views

Is there some practical intuition when working with a cooperad given by cogenerators and corelations?

In the case of algebras and operads, a description by generators and relations is common practice and I have a good understanding of this. A non-symmetric operad $\mathcal{P}$ given by a linear space ...
user avatar
  • 373
0 votes
0 answers
17 views

If C is a coalgebra with counit € and D=ker(€), how define a coalgebra structure on tensor algebra T(D) so that C to T(D) is inclusion coalgebra map

Let C be a coalgebra with comultiplication N and counit € and let D = ker(€). Consider the tensor algebra on D , denoted by T(D). My question is : how one can define a coalgebra structure on T(D) so ...
user avatar
  • 23
3 votes
1 answer
51 views

Finding dual of matrix algebra

Consider $A=M_n(K)$, the algebra of matrices over the field $K$. Let $\{e_{ij}\}$ be the standard basis for $A$ and $\{X_{ij}\}$ be the basis of $A^*$ dual to $\{e_{ij}\}$. I need to find the ...
user avatar
1 vote
1 answer
50 views

Supposse $U, V$ and $W$ are subspaces of a coalgebra $C$. Show that $\Delta(U) \subseteq V\otimes W$ implies $U\subseteq V\cap W$.

I'm new to coalgebras and this is a question from section 2.1 of the book "Hopf Algebras" from Davied E Radford. I tried to pick an element $u \in U$, so $\Delta(u) = u_1\otimes u_2 \in V\...
user avatar
  • 151
1 vote
1 answer
43 views

Exercise 2.3.24 - Radford's Hopf Algebras

I am having trouble solving the following problem, which is Exercise 2.3.24 of Radford's Hopf Algebras: Let $C = C_n(k)$, where $n \geq 1$, and let $\{e_{i,j}\}_{1 \leq i,j\leq n}$ be a standard ...
user avatar
  • 742
1 vote
1 answer
79 views

For a terminal coalgebra, map is isomorphism

I'm trying to solve Emily Riehl's "category theory in context", question 1.6.vi (1.6.6). The exercise says: A coalgebra for an endofunctor $T: C \rightarrow C$ is an object $c \in C$ ...
user avatar
2 votes
1 answer
93 views

"Basic" coalgebra structures on $R$-modules

Lately I have been reading about coalgebras and wondering about natural ways one can make any $R$-module into an $R$-coalgebra. Two examples of such constructions are given by tensor coalgebras and ...
user avatar
  • 411
1 vote
1 answer
52 views

How to compute the terminal coalgebra (or initial algebra) of a given functor

This is sort of a soft question. I'll start with an example. Fix a set $A$, and consider the functor $F\colon \mathbf{Set} \to \mathbf{Set}$, $F\colon X \mapsto A \times X$. Now, we know that the ...
user avatar
3 votes
1 answer
76 views

Koszul dual cooperad of the associative operad

I am trying to compute the $k$-modules of $\mathcal{As}^¡$, the Koszul dual cooperad of the associative operad $\mathcal{As}$. I am using sections 7.1.4 and 7.2.1 of Algebraic Operads to try to do ...
user avatar
  • 5,991
1 vote
1 answer
49 views

Axioms of a coalgebra restated using Sweedler's notation

I'm struggling with understanding manipulation using Sweedler's notation at a very fundamental level. I don't understand the equivalence of the axioms of coalgebras in the standard notation [Coproduct ...
user avatar
1 vote
0 answers
76 views

Hopf "algebroid" structure of a groupoid convolution algebra?

To male thinks simple as possible, lets say we have a discrete group $G.$ Then the then the group algebra $\mathbb{C}[G]$ (of finitely supported complex valued functions on $G$) has a convolution and ...
user avatar
  • 16.3k
1 vote
0 answers
35 views

How to prove the reduced comultiplication of a coaugmented coalgebra is coassociative?

a coalgebra over a field $k$ is a vector space $C$ over $k$ together with $k$-linear maps $$\text{comultiplication } \Delta: C \to C\otimes_k C \text{ and} $$ $$\text{counit } \epsilon: C \to k$$ ...
user avatar
2 votes
0 answers
90 views

Show that a certain element is a linear combination of tensors

Let $(A, \Delta: A \to A \otimes A)$ be bialgebra (unital and counital) such that the map $$T: A \otimes A \to A \otimes A: a \otimes b \mapsto \Delta(a)(1 \otimes b)$$ is surjective. We write $\Delta(...
user avatar
1 vote
0 answers
28 views

Isomorphism between two Hopf algebras

Let $k$ be a field, over which we consider algebras and coalgebras. A $k$-coalgebra is a comonoid object in $k$-modules, and a $k$-algebra is a monoid object in $k$-modules. A $k$-bialgebra is ...
user avatar
  • 5,024
0 votes
1 answer
27 views

Showing that $U(\mathfrak{sl}_2)$ is a coalgebra

We know that there is a coalgebra structure on $U(\mathfrak{sl}_2)$ as follows for any $z\in \mathfrak{sl}_2$: $$\Delta(z)=1\otimes z+z\otimes 1, \qquad \epsilon(z)=0.$$ Can someone be so kind to ...
user avatar
1 vote
0 answers
22 views

Finding all subcoalgebras of a coalgebra $C$

Let $(S, \le)$ be a partially ordered finite set. Let $C$ the vector space with basis $\{e_{i,j} | i,j \in S, i \le j\}$, which turns out to be a coalgebra with comultiplication and counit given by: $$...
user avatar
  • 1,074
1 vote
1 answer
132 views

Dual of an algebra is a coalgebra

Let $A$ be an algebra over the commutative unital ring $k$ that is finitely generated and projective as a $k$-module. Let $A^*= \operatorname{Hom}_k(A,k). $ Then the natural map $$i: A^* \otimes A^* \...
user avatar
0 votes
1 answer
35 views

When is there an "intuitive" functor from F-coalgebras to T-coalgebras?

Suppose $F, T : Set \rightarrow Set$ are two functors on the category of sets. Let $F^{coalg}$, $T^{coalg}$ denote the categories of $F$, respectively $T$ coalgebras. Vaguely, I'm interested in when ...
user avatar
3 votes
0 answers
30 views

Do the regular monomorphisms in the category of coalgebras coincide with the injective ones?

Given a commutative ring $k$ (not necessarily a field), do the regular monomorphisms in the category of (coassociative and counital as usual) $k$-coalgebras (henceforth denoted $k-\mathrm{Coalg}$) ...
user avatar
2 votes
0 answers
27 views

Can we intersect coalgebras?

Let $k$ be a commutative ring, which I am unwilling to assume is a field, and suppose $(C_i)$ is a collection of coassociative $k$-subcoalgebras1 of a coassociative $k$-coalgebra $C$. Is there always ...
user avatar
  • 4,517
5 votes
1 answer
95 views

Modules over the dual of an infinite dimensional coalgebra

Let $k$ be a field and let $A$ be a finite dimensional (unital, associative, not necessarily commutative) $k$-algebra. The $k$-linear dual of $A$ is a coalgebra, and viceversa, the $k$-linear dual of ...
user avatar
  • 5,906
1 vote
1 answer
118 views

Proving uniqueness of antipodes in Hopf algebras

Let $(H,\mu,\nu,\Delta,\epsilon)$ be a Bialgebra where H is the vector space, $\mu, \nu$ are the product and unit whilst $\Delta, \epsilon$ are the coproduct and counit. Now, for $f,g \in end(H)$ ...
user avatar
  • 8,429
3 votes
1 answer
136 views

Sweedler Notation: $\eta\epsilon$ is the identity element of the convolution product

Proof attempt Let $(A, \mu, \eta) $ be an algebra and $(C, \Delta, \epsilon) $ be a coalgebra, both over the same field $k$. Define the convolution product $$*: \mathrm{Hom}(C,A)\otimes \mathrm{Hom}(C,...
user avatar
  • 1,819
3 votes
1 answer
52 views

Showing the triple $(\hom(C,A),@,\mu \epsilon)$ defines an algebra

Showing the triple $(\hom(C,A),@,\mu \epsilon)$ defines an algebra Let $(C,\Delta,\epsilon)$ be a colalgebra and $(A, \mu, \nu)$ be an algebra where $\Delta, \mu$ are the coproduct and product whilst $...
user avatar
  • 8,429
1 vote
1 answer
54 views

Showing $\lambda: A \otimes C^* \rightarrow \text{Hom}(C,A)$ is a morphism of algebras

Show that $\lambda: A \otimes C^* \rightarrow \text{Hom}(C,A)$ is a morphism of algebras. Let either $C^*$ or $A$ be finite dimensional, and let $\lambda$ be the isomorphism $\lambda: A \otimes C^* \...
user avatar
  • 8,429
0 votes
1 answer
25 views

Prove that $\gamma$ is a map of $C^*$-modules

Let $C$ be a coalgebra and $M$ a $C^*$-module, where $C^*$ is C's dual. Prove that $$\gamma: M \otimes C \rightarrow \text{Hom}_\mathbb{k}(C^*,M) \\ m \otimes c \mapsto [f \mapsto mf(c)]$$ is a $C^*$-...
user avatar
  • 1,074
3 votes
1 answer
258 views

Showing tensor product of coalgebras is a coalgebra.

Let $(C, \Delta, \epsilon)$ and $(C',\Delta', \epsilon')$ be two coalgebras over the field $k$. I'm trying to show that $C \otimes C'$ is a coalgebra for the comultiplication $$\overline{\Delta}:=(id_{...
user avatar
7 votes
2 answers
134 views

A monic coalgebra morphism whose underlying $\text{Set}$ morphism is not injective

Let $F:\mathscr A\to \mathscr A$ be a functor. Consider the following category $\mathscr C$. The objects are arrows $A\to F(A)$. If $\alpha:A\to F(A)$ and $\beta:B\to F(B)$ are two objects, then a ...
user avatar
  • 10.9k
0 votes
1 answer
52 views

Confusing with definition of (co)algebra

I began to read the book « Hopf algebras » by Sweedler. He gave the definitions of algebra and coalgebra using commutative diagrams. These diagrams just show (co)associativity and (co)unitary ...
user avatar
1 vote
1 answer
55 views

A question about infinitesimal bialgebra or Newtonian coalgebra

Recently, I am studing an interesting coalgebra which was called the infinitesimal bialgebra by Joni and Rota. It can be regarded as an algebraic framework for the calculus of divided differences. ...
user avatar
  • 934
4 votes
0 answers
89 views

Sweedler notation and String diagrams: coaction on quotient

Let $(C, \Delta, \epsilon)$ be a coalgebra (in the category $Vect$), and $I \subset C$ a right coideal, i.e. $\Delta (I) \subset I \otimes C$. Define a counital coaction $\overline \Delta := (x_{(1)} ...
user avatar
  • 1,819
1 vote
0 answers
73 views

Coalgebras & Coideals: Why does $ker(\pi \otimes id_C ) = I\otimes C$ hold?

In a proof on comodules and coideals I found the following passage: “Let $C$ be a coalgebra, and $I \subset C$ a vector subspace. Let $\pi$: $C \rightarrow C/I $ be the canonical projection. Consider ...
user avatar
  • 1,819
5 votes
0 answers
111 views

Coideals in the grouplike colagebra are spanned by differences

Let $k$ be a field, and let $S$ be a nonempty set. Let $k[S]$ be the grouplike coalgebra of $S$ over $k$, i.e. the free vector space with basis $S$ equipped with the coproduct $\Delta(s)=s\otimes s$ ...
user avatar
  • 1,050
1 vote
0 answers
27 views

Matrix Coefficients Map a Coalgebra Morphism

Simple question: let $C$ be a coalgebra over a field $k$. Given a finite-dimensional right $C$-comodule $V$ determined by the structure morphism $$a:V\to V\otimes C,$$ we have a natural 'matrix ...
user avatar
  • 1,678
2 votes
1 answer
100 views

Right adjoint of a monad is a comonad

I'm having trouble proving the following statement: If a monad $T$ has a right adjoint $K$, then $K$ is a comonad and the categories of $T$-algebras and $K$-coalgebras are isomorphic. So far I've ...
user avatar
  • 97
1 vote
0 answers
63 views

The take lemma needs a coinductive proof

In Are coinductive proofs necessary?, the answerer claimed that we cannot prove inductively the take lemma: Two streams that agree on all initial subsequences of given length are the same. I was ...
user avatar
  • 5,325
2 votes
0 answers
74 views

Products In the Categary of Skew-Cocommutative Coalgebras Are Skew Tensor Products

Let $A = \bigoplus^n_{i=0} A_i,B = \bigoplus^b_{i=0} B_i $ be a graded modules over the same commutative ring $R$ . The twisting isomotphism $\tau_{A,B} : A \otimes B \to B \otimes A$ is defined on ...
user avatar
  • 1,779
2 votes
0 answers
32 views

How to get a Hopf algebra from a monoid?

Let $k$ be a field. Let $S$ be a monoid with netural element $e$. Suppose that all $s \in S$ have only finitely many factoriztions $s=ab$, where $a,b \in S$. Then the free k-module $k[S]$ has a ...
user avatar
2 votes
1 answer
95 views

Confusion about dual of comodule

I am confused about something. Please help! :) All objects are vector spaces over a fixed field $k$. Let $C$ be a coalgebra with comultiplication $m:C\to C\otimes C$. Let $M$ be a left comodule ...
user avatar
  • 1,678
3 votes
1 answer
116 views

Counterexample to the fundamental theorem of comodules

The Fundamental Theorem of Comodules (aka the Finiteness Theorem for Comodules) states that if $\Bbbk$ is a field, then any element of a comodule over a $\Bbbk$-coalgebra lies in a finite-dimensional ...
user avatar
1 vote
0 answers
60 views

Sweedler Notation: limitations and left comodule version.

I have two questions: In the nlab entry about the sweedler notation it reads "One can formalize in fact which manipulations are allowed with such a reduced notation." Has anyone done that/an idea ...
user avatar
  • 127
2 votes
1 answer
56 views

$\times$ versus $\otimes$ in Definition of $K$-Algebra

While reading about algebras and coalgebras, I keep coming across two definitions of an algebra $A$. One definition uses the Cartesian product $\times$, while another uses the tensor product $\otimes$....
user avatar
  • 57
1 vote
1 answer
46 views

Primitive elements in $k[x]$

I need to find all primitives element of $k[x]$ with the coalgebra structure: $\Delta(x)=1\otimes x+x\otimes 1$ and $\epsilon(x)=0$. If char($k$) is zero, for me it's clear that, within the basis $\{x^...
user avatar
  • 140