| 查看: 1355 | 回复: 2 | |||
wuxiaoxing金虫 (著名写手)
|
[求助]
一个范畴学中引理的证明 已有1人参与
|
 我想到的是可以将要找的F取为Yoneda引理下(-,X)在G中的像函子，不过还没想到验证过程。 |
回复此楼» 猜你喜欢
2026年8月25日国自然放榜前突然收到列入评审专家邮件，有关系吗？
已经有18人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有3人回复
-
今天务委会开完了，明天出结果吗
已经有21人回复
-
在坚冰还盖着北海的时候，我看到了怒放的梅花。
已经有9人回复
-
明天应该可查了！？
已经有6人回复
-
有没有大神帮我看看基金代码
已经有10人回复
-
放榜前的不淡定
已经有19人回复
-
某些机构，以效率低为荣，以效率低作为存在感
已经有10人回复
-
2026国自然函评费到账
已经有23人回复
-
今日不放榜？网传国自然预计 8 月 27 日可查结果
已经有22人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 关于矩阵求逆的一个引理证明
已经有3人回复
- 数学的毕业论文中，每一个引理都需要再次证明吗？
已经有10人回复
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1017.9
- 散金: 376
- 红花: 18
- 帖子: 742
- 在线: 245.1小时
- 虫号: 1324155
- 注册: 2011-06-16
- 专业: 拓扑学
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与，应助指数 +1
wuxiaoxing: 金币+20, ★★★很有帮助 2015-03-09 19:58:48
感谢参与，应助指数 +1
wuxiaoxing: 金币+20, ★★★很有帮助 2015-03-09 19:58:48
|
这里是的符号是什么意思哦？C是个范畴，Ab是交换群范畴？(C^op, AB)是涵子全体吗？什么是subfunctor? unique是指在什么意义唯一？ 如果假设“C是任意范畴，Ab是交换群范畴，(C^op, AB)是涵子全体，subfunctor是指F(X)<G(Y), 对任意的Y in C，唯一是在自然变换下的"， 那么下面将是个反例： 取C为两个点的离散范畴，objectus: a, b; morphism: f: a -->b. Define G as G(a)=Z and G(b)=Z and G(f): G(b)-->G(a) given by 1 |--> 1; Define F as F(a)=Z and F(b)=Z and F(f): G(b)-->G(a) given by 1 |--> 2; 看上去F,G都满足你的条件，而F与G不是自然等价的。或许你的记号有别的意义。 |
2楼2015-03-09 17:04:30
wuxiaoxing
金虫 (著名写手)
- 应助: 3 (幼儿园)
- 金币: 270
- 散金: 6415
- 红花: 14
- 沙发: 17
- 帖子: 1478
- 在线: 195.3小时
- 虫号: 968646
- 注册: 2010-03-12
- 性别: GG
- 专业: 代数学
3楼2015-03-09 19:58:14
28