| 查看: 1264 | 回复: 2 | |||
wuxiaoxing金虫 (著名写手)
|
[求助]
一个范畴学中引理的证明 已有1人参与
|
 我想到的是可以将要找的F取为Yoneda引理下(-,X)在G中的像函子，不过还没想到验证过程。 |
回复此楼» 猜你喜欢
职称评审没过，求安慰
已经有54人回复
-
垃圾破二本职称评审标准
已经有19人回复
-
毕业后当辅导员了，天天各种学生超烦
已经有5人回复
-
26申博自荐
已经有3人回复
-
A期刊撤稿
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 关于矩阵求逆的一个引理证明
已经有3人回复
- 数学的毕业论文中，每一个引理都需要再次证明吗？
已经有10人回复
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1014.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