通俗范畴论20 向量空间范畴与自然变换
我们学习了自然变换的定义,结合之前的范畴和函子,范畴论的三大支柱都介绍完毕,这相当于我们有了构建复杂系统的三个组件,它们的有机组合,可以让我们看到更加广阔的世界。
本篇,我们还是将注意力集中在自然变换,在本篇之前,我们为了深入浅出地介绍概念,总是尽量限制我们的视野,将注意力集中在概念的核心和典型例子上,从本篇开始,我们要尽量放开视野,利用范畴、函子和自然变换开疆拓土,对我们的视野进行提升。
要讨论向量空间的自然变换,首先要提升我们的视野,我们考虑建立一个范畴进行讨论。
向量空间的范畴表示
设 VVV是一个向量空间,KK