余交换余代数范畴中张量积作为积的证明问询

先把问题背景明确一下：

给定两个余代数 $(C,\Delta,\epsilon)$ 与 $(C',\Delta',\epsilon')$，考虑它们的张量积 $C\otimes C'$，以及如下两个余代数同态：
\begin{align*}
\pi:C\otimes C'\to C, \quad c\otimes c'&\mapsto\epsilon'(c')c,\
\pi':C\otimes C'\to C', \quad c\otimes c'&\mapsto\epsilon(c)c'.\
\end{align*}
我们需要证明该张量积是余交换余代数范畴中的积。目前已完成任意余交换余代数 $(D,\Delta_D,\epsilon_D)$ 相关部分的证明，现需剩余步骤的指导。

既然你已经搞定了$D$相关的基础构造（应该是已经给出了候选态射$\phi:D\to C\otimes C'$的定义对吧？），那接下来只需要完成两个核心环节的验证，就能收尾整个证明：

1. 验证$\phi$是余代数同态 #

因为我们是在余交换余代数范畴里讨论积，所以不能只满足集合/线性空间层面的积性质，必须保证$\phi$是余代数同态——也就是要同时满足两个交换图条件：

• 余乘交换性：$\Delta_{C\otimes C'} \circ \phi = (\phi \otimes \phi) \circ \Delta_D$
• 余单位交换性：$\epsilon_{C\otimes C'} \circ \phi = \epsilon_D$

这里要充分利用余交换性的关键条件：对于任意余交换余代数$X$，其余乘满足$\tau_X \circ \Delta_X = \Delta_X$（其中$\tau_X$是翻转同构，把$x_1\otimes x_2$映射为$x_2\otimes x_1$），$C$、$C'$、$D$都满足这个性质。

举个余乘验证的具体思路：

• 左边：$\Delta_{C\otimes C'}(\phi(d)) = (\Delta_C \otimes \Delta')(\phi(d))$（这是张量积余代数的余乘定义）
• 右边：$(\phi\otimes\phi)(\Delta_D(d))$，结合你之前构造$\phi$时用的$\phi(d) = (f \otimes f')(\Delta_D(d))$（这里$f:D\to C$、$f':D\to C'$是任意给定的两个余代数同态），再用余交换性调整张量因子的顺序，就能推导出左右两边相等。

余单位的验证相对简单，直接代入$\epsilon_{C\otimes C'} = \epsilon \otimes \epsilon'$的定义，结合$\phi$的构造式就能完成。

2. 验证$\phi$的唯一性 #

这是积的核心公理：对于任意两个余代数同态$f:D\to C$、$f':D\to C'$，满足$\pi \circ \phi = f$且$\pi' \circ \phi = f'$的态射$\phi$是唯一的。

验证思路如下：
假设存在另一个余代数同态$\psi:D\to C\otimes C'$，也满足$\pi\circ\psi = f$和$\pi'\circ\psi = f'$。我们需要证明$\phi = \psi$。

用Sweedler记号把$\Delta_D(d)$写成$\sum d_1\otimes d_2$，结合余代数同态的性质，我们可以推导：
对于任意$d\in D$，$\psi(d)$可以表示为$\sum c_i\otimes c'_i$，那么：

• 由$\pi(\psi(d)) = f(d)$，可得$\sum \epsilon'(c'_i)c_i = f(d)$
• 由$\pi'(\psi(d)) = f'(d)$，可得$\sum \epsilon(c_i)c'_i = f'(d)$

再结合$D$的余交换性和余乘的协合性，最终可以推导出$\sum c_i\otimes c'_i = \sum f(d_1)\otimes f'(d_2)$——这正是你之前构造的$\phi(d)$，从而证明$\psi = \phi$，即唯一性成立。

3. 最终收尾 #

把上述两步的结果整合起来，确认：

• 存在性：构造的$\phi$满足积的交换图条件，且是余代数同态
• 唯一性：满足条件的$\phi$是唯一的
• 所有余代数同态的交换图（余乘、余单位）都成立

这样就完整证明了$C\otimes C'$是余交换余代数范畴中$C$与$C'$的积。

内容的提问来源于stack exchange，提问作者Jo Mo