根据之前的命题和例子，我们得到下面例子
a.将拓扑空间映到他的基础集的遗忘函子保持限制和余限制。
b.将交换群映到他的基础集的遗忘函子保持限制。
c.巴拿赫范畴和线性收缩，遗忘函子，将巴拿赫空间映至他的基础集，将线性收缩映至对应映射。U不能保持任意的积，仅是有限积。现在考虑函子，将巴拿赫空间映到他的闭单位球，线性收缩映到在单位球上的限制。之前的例子立即证明了对于一个巴拿赫空间族，巴拿赫空间的积单位球就是这些单位球的笛卡尔积。
因此函子保持任意积。他也保持等子，所以就保持限制。另一个证明认为单位球函子就是由R所表征的函子。
d.交换群范畴是完备的，并且遗忘函子映出同构，所以他映出限制。
d.巴拿赫一范畴是完备的，而且单位球函子映出同构，所以他映出限制。
这些例子看不懂了，所以要返回去看之前跳过的定理。
有趣，回头看了看积，等子，拉回作为限制的特例的情况，画了画交换图，感觉很神奇。锥的定义给出了这些结构的前提条件，而限制的定义给出存在唯一性。很漂亮的结果，有空可能会在电脑上画一下。
根据之前的命题和例子，我们得到下面例子 a.将拓扑空间映到他的基础集的遗忘函子保持限制和余限制。 b.将交换群映到...
这一节关注于，与限制结构交换的函子 一个函子称之为保持限制的，当对任意小范畴和任意函子，如果限制存在，那么经过函子...
前一节，我们考察了保持所有限制的函子。现在我们来考察被所有函子所保持的限制。实际上，我们将在余限制的基础上发展这个...
接着学习函子，函子是范畴之间的结构保持映射。 给出两个函子，通过逐点复合的方式可以得到一个新的函子，可以验证，这种...
我们考察函子和自然映射构成的范畴中的限制的存在性。 考虑范畴ACD，其中CD是小范畴。设是一个函子，代表函子范畴。...
逗号范畴在1.6节介绍过了。 考虑两个完备范畴A，B和两个限制保持函子F：A---C，G：B---C。逗号范畴是完...
函子与范畴 函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。一...
a.从反变米田嵌入开始，小范畴A中的对象，对应到A到集合范畴的函子。一个对象确定一个函子，干什么用的？ b.可表函...
随机函数篇 NumPy的random子库 np.random.* 例子走起： 统计函数篇 注： average函...
本文目录：1.什么是函子2.MayBe函子3.Either函子4.Pointed函子5.IO函子6.IO函子存在的...
本文标题：32.限制保持函子的例子
本文链接：https://www.haomeiwen.com/subject/pmxrnktx.html
网友评论