| 查看: 1303 | 回复: 2 | |||
wuxiaoxing金虫 (著名写手)
|
[求助]
一个范畴学中引理的证明 已有1人参与
|
 我想到的是可以将要找的F取为Yoneda引理下(-,X)在G中的像函子，不过还没想到验证过程。 |
回复此楼» 猜你喜欢
321求调剂
已经有3人回复
-
一志愿北京化工大学材料与化工 264分各科过A区国家线
已经有3人回复
-
277分求调剂，跨调材料
已经有3人回复
-
材料292调剂
已经有6人回复
-
材料与化工考研调剂
已经有6人回复
-
0703化学调剂，求导师收
已经有3人回复
-
生物学学硕求调剂
已经有6人回复
-
305分求调剂（食品工程）
已经有7人回复
-
299求调剂
已经有6人回复
-
085404电子信息284分求调剂
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 关于矩阵求逆的一个引理证明
已经有3人回复
- 数学的毕业论文中，每一个引理都需要再次证明吗？
已经有10人回复
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1016.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
10