MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm reading

There the following statement is given without proof: Let $k$ be a field. Let $C$ be a counitary coaugmented coalgebra, i.e. there is $\eta: C\to k$ such that $(1\otimes \eta)\Delta=(\eta\otimes 1)\Delta=1$ and $\varepsilon: k\to C$ which is a counitary coalgebra map, in particular $\eta\varepsilon=id_k$. Define $\overline{C}:=coker \varepsilon$, $p:C\to \overline{C}$ the canonical projection.

There are two functors: Corestriction from counital (i.e. $(1\otimes \eta)\Delta_N=id_{N}$) $C$-comodules which sends a $C$-comodule $N$ to the $\overline{C}$-comodule $N$ with comultiplication $(1\otimes p)\Delta_N$ and Coinduction: A Comodule $M$ is sent to the $ker u$, where $u=\Delta_M\otimes 1_C- (1_M\otimes p\otimes 1_C)(1_M\otimes \Delta): M\otimes C\to M\otimes \overline{C}\otimes C$.

The author claims that these two are quasi-inverse equivalences.

I don't even see what the isomorphisms between $N$ and $\ker u$ should be. A canonical choice would be $\Delta_N: N\to \ker u$ and $1\otimes \eta: \ker u\to N$, then one has $(1\otimes \eta)\Delta_N=id_N$, but where does the other direction come from? Another natural choice for a map $N\to N\otimes C$ would be $1\otimes \varepsilon: N\cong N\otimes k\to N\otimes C$ but I also don't see it there.

share|cite|improve this question
I'm curious: did you ever figure out the answer? – David White Jan 12 '13 at 23:13
@David White: No, otherwise I would have posted it as an answer. – Julian Kuelshammer Jan 13 '13 at 10:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.