跳到主要内容

所有问题

4问题
筛选依据
排序依据
标记为
投票
0 答案
117 意见

Hopf代数体的Tannaka对偶

设置。设$k$是一个域,$a$是有限维$k$-代数,$H$a是$a$上具有可逆对极的Hopf代数体。用$\operatorname{mod}(H)$表示有限维。。。
Max Demirdilek的用户头像
2 投票
0 答案
111 意见

恒星自治范畴中的右单位

1.背景设$(C,\otimes,I,a,l,r)$是单体范畴。这里$r$表示正确的单位。假设$S:C^{op}\xrightarrow{\sim}C$是具有逆$S'$的类别的等价物。假设。。。
Max Demirdilek的用户头像
8 投票
1 回答
265 意见

笛卡尔单体恒星自治范畴

免责声明:这是一个交叉点(请参阅MathStackexchange)。如果不赞成交叉发布,请道歉。然而,在Stackexchange上似乎没有多少人熟悉星际自主。。。
Max Demirdilek的用户头像
4 投票
1 回答
194 意见

证明对偶函子是反幺半群

设$\mathcal{C}$是一个右刚性(非严格)单体范畴,具有结合约束$\Phi$。设$J_{U,V}:U^*\otimes V^*\to(V\otimes U)^*$是每个对象$的正则同构。。。
Andrea的用户头像