# Questions tagged [coalgebras]

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

108 questions
Filter by
Sorted by
Tagged with
49 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) \ (*)$$ ...
1 vote
95 views

### Homotopy fixed points vs coalgebras

Referring to the last part of this answer https://mathoverflow.net/a/225403/170683, I would like to understand how in the case of a Galois cover $f\colon X\to Y=X/G$ with Galois group $G$ (I guess ...
1 vote
48 views

### Morphism of conilpotent coalgebras

I have a stupid question about morphisms of two conilpotent coalgebras $\phi:X\to Y$. Is it a morphism of coaugmented coalgebras such that $\phi(F_n(X))\subseteq F_n(Y)$? Here $F_n$ denotes the ...
1 vote
54 views

### Conilpotent coalgebras as pushouts of trivial coalgebras

Let $K$ be a field and $C$ a non-counital conilpotent coassociative coalgebra over $K$ whose underlying $K$-vector space is finite dimensional. Question: Can one obtain $C$ by iterately taking ...
145 views

### Which categories of presheaves are algebraically cocomplete?

We say that a category is algebraically complete when every endofunctor has an initial algebra. Similarly, a category is algebraically cocomplete when every endofunctor has a final coalgebra. Assuming ...
1 vote
53 views

### How do you get the rational submodule of a $C^*$-module (equivalent to a $C$-comodule)?

Let $C$ be a coalgebra over a field $K$. Let $M$ be a $C^*$-module. I am trying to understand the rational submodule of $M$, which will carry the structure of a $C$-comodule. It seems to me that the ...
240 views

### Different Bialgebra/Hopf algebra structures on coalgebras

Given a coalgebra $C$, can there exist more than one algebra structure on $C$ giving it the structure of a bialgebra? I will also ask the same question for Hopf algebras.
484 views

### What is a coalgebra?

A coalgebra is a triple $(A,\Delta,\epsilon)$ consisting of a vector space, a coproduct, and a counit. Now as we all know, just like the unit in an algebra, the counit of a coalgebra is unique, i.e. ...
120 views

### Bialgebra maps and Hopf algebra maps

Let $H$ and $H'$ be two Hopf algebras, and let $\phi:H \to H'$ be an bialgebra map. Then is $\phi$ automatically a Hopf algebra map?
299 views

449 views

### Definition of subcoalgebra over a commutative ring

Let $k$ be commutative ring and $(C, \Delta)$ be a coalgebra over $k$. Let $D$ be a $k$-submodule of $C$. Notes I'm reading give the following definition: $D$ is called subcoalgebra of $C$ if the ... 104 views

257 views

### Comonoids in the category of monoids

Let us give the category of monoids $\mathbf{Mon}$ a monoidal structure with $\otimes = \sqcup$ (coproduct). How can we classify $\mathbf{CoMon}(\mathbf{Mon})$, the category of comonoids of monoids? ...
1 vote
43 views

### Weakly reflexive algebra vs proper (residually finite-dimensional) algebra

Currently I am reading the book "Hopf Algebras. An Introduction" by S. Dascalescu, C. Nastasescu, S. Raianu. There is a Definition 1.5.20 on page 44 (boldface is mine): An algebra $A$ is called ...
554 views

### Comultiplication on objects in an (abelian?) category

Looking for example at $R$-modules for some commutative $R$, we have the direct sum and the tensor product acting analogously to addition and multiplication. After studying a little bit about co-...
221 views

### Examples of basic coalgebras

For an algebraically closed field $k$, let $C$ be a $k$-coalgebra. Given a minimal injective cogenerator $E$, there is a so-called basic coalgebra $B_C=coend^C(E)$, s.t. the comodule categories $Mod^C$...
121 views

### Do comodules form an exact category?

Let $R$ be a commutative ring, $C$ a coalgebra over $R$. I am asking about the category of $C$-comodules $C$-Comod. It is clear that if $C$ is a flat $R$-module, then $C$-Comod is abelian. Hence, is ...
107 views

### Is there a way to adjoin a counit to a non counital coalgebra?

Let $k$ be a field. If $A$ is a non unital $k$-algebra, there is a simple way to make it unital by taking $\tilde{A}:=A\oplus k$ and setting $$(a+\lambda)(b+\mu):=ab+\lambda b +\mu a +\lambda \mu$$ ...
262 views

399 views

### Coalgebras(or quantum groups) which admit a linear operator satisfying certain functional equation

What is an example of a coalgebra $C$ which admit a linear operator $T$, different from scalar operators $T=\lambda Id$, which satisfy $$(T\otimes T)\circ \Delta=\Delta \circ T^2$$ but $C$ is not ...
143 views

### final coalgebra of the 𝓟${_{<κ}}$(A×X) endo-functor in $Set^*$?

In the paper Coalgebraic Games and Strategies F. Honsell, M. Lenisa, and R. Redamalla use the functor $F_A$(X) = ${\mathscr{P}_{<κ}}$(A×X) to define games coalgebraically. This is a functor from ...
262 views

### Duality between coalgebras and (pseudocompact) algebras - uniqueness

The following result is well-known. It can for example be found in [Iovanov: The representation theory of profinite algebras, Theorem 1.0.2]. For definitions, see below. Let $k$ be a field. The ...
241 views

### Tannaka-Krein reconstruction and rigidity

Let $\mathcal{C}$ be a rigid monoidal category together with a quasi-monoidal functor $\omega:\mathcal{C}\to\mathsf{vec}_{\Bbbk}$ to finite-dimensional vector spaces over a field $\Bbbk$, i.e. we have ...
369 views

### Monoidal structures on modules over derived coalgebras

Given a Hopf-algebra $H$ (over a commutative ring), it is a classical fact that its category of (left) modules is monoidal, even if $H$ is not commutative. Given two left modules $M$ and $N$, we can ...
97 views

### Limits in subcategories of Powerset-coalgebras

Let $F:Set\to Set$ be a functor. An $F$-coalgebra is a pair $\mathcal{A}=(A,\alpha)$ where $\alpha:A\to F(A)$ is arbitrary map. Given $F$-coalgebras $\mathcal{A}=(A,\alpha)$ and $\mathcal{B}=(B,\beta)$...
450 views

### Why is subcoalgebra structure unique?

Sorry for breaking the harmony of MO with a easy and silly questions. I have stuck on elementary category-theoretic reasoning about subcoalgebras, namely: Let $F:\mathcal{Set}\to \mathcal{Set}$ be a ...
155 views

### Completion of coalgebras

Is it possible to complete commutative dg associative (conilpotent) coalgebras over $\mathbb{Q}$ in a way so that when we complete the symmetric coalgebra $Sym(V)$ it becomes completed with respect to ...
134 views

### Building conilpotent coalgebras from co-square-zero-extensions

Let $\mathrm{K}$ be a field of char. 0. Given a chain complex $\mathrm{X}$ over $\mathrm{K}$ denote $\mathrm{E}(\mathrm{X})$ the co-square-zero-extension on $\mathrm{X},$ i.e. the cocommutative ...
342 views

### Tensor product of coaugmented conilpotent coalgebras

Let $\mathbb{K}$ be a field of char. 0. Let $\mathrm{A}, \mathrm{B}$ be conilpotent cocommutative coaugmented counital dg-coalgebras over $\mathbb{K}$ (i.e. that their corresponding cokernel of their ...
139 views

### Variant of co-Tor in a bimodule category

Say $\mathcal{C}$ is a strict monoidal abelian category and $A$ is a coalgebra object in $\mathcal{C}$, with left co-modules $M$ and right co-module $N$ (also in $\mathcal{C}$). Then we have a notion ...
342 views