百科问答小站 logo
百科问答小站 font logo



为什么left adjoint的存在性和comma category有关? 第1页

  

user avatar   su-lang-86-31 网友的相关建议: 
      

首先我们知道adjunction有两种等价的定义:

Definition 1: Suppose and are categories and and are functors. Then F is left adjoint to G and G is right adjoint to F, notated , iff naturally in , . We say that F and G together with the associated isomorphism between the relevant com-set form an adjunction
Definition 2: Suppose and are categories and and are functors. Then F is left adjoint to G and G is right adjoint to F, notated , contain two natural transformations satisfies two triangle identities.

既然这两种定义等价,那么我们可以问一个自然的问题:能不能把adjunction的两种定义揉合在一起,各取一半,变成一个新的adjunction的定义?答案明显是可以的。我们有如下的theorem:

Suppose and are categories and and are functors. Then iff (i) there is a natural transformation , for which (ii) for any in , there is a unique in such that .

可以看出(i)就是definition 2的“一半”, (ii)就是defintion 1的“一半”。同时我们可以看出这个定义是一种universal property, 而universal property 暗示某种合适的dervied category 存在initial or terminal object。 这种dervied category 就是某种特殊的 comma category

Suppose is a functor. If the derived comma category has an initial object for every , then G has a left adjoint.



  

相关话题

  前N个整数的最小公倍数有没有近似公式? 
  如果马克思如今还活着,现在这个世界将会是怎样? 
  有且仅有函数e^x的导数与本身相等吗?如何证明? 
  既然负数开平方可以拓展出一个复数系,那 1/0 也可以拓展出新的数系吗? 
  如何看待古人思想与现代前沿科学的不谋而合? 
  这道题解题思路是什么呢? 
  如何证明两个有理数平方和不能为 7? 
  如何计算这个积分? 
  分家产的数学问题,17头牛老大1/2,老二1/3,老三1/9,是什么数学原理? 
  如何评价山东大学创办的《文史哲》杂志? 

前一个讨论
请问一下,如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢?
下一个讨论
如何证明不全无界的两不相交闭集之间的的距离大于0?





© 2025-05-06 - tinynew.org. All Rights Reserved.
© 2025-05-06 - tinynew.org. 保留所有权利