| 查看: 1352 | 回复: 2 | |||
wuxiaoxing金虫 (著名写手)
|
[求助]
一个范畴学中引理的证明 已有1人参与
|
 我想到的是可以将要找的F取为Yoneda引理下(-,X)在G中的像函子，不过还没想到验证过程。 |
回复此楼» 猜你喜欢
没有任何消息-是不是就凉了
已经有10人回复
-
人气不行了
已经有11人回复
-
2026国自然函评费到账
已经有22人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有3人回复
-
2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战
已经有7人回复
-
今天基金会出结果吗？20260819
已经有18人回复
-
我面上完蛋了
已经有14人回复
-
范进中举一文的中心思想
已经有8人回复
-
只有每年这种时候来逛逛小木虫
已经有27人回复
-
明天应该可查了！？
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 关于矩阵求逆的一个引理证明
已经有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
