Monad 速成教程8(更多的例子)

• 

  weizhong.dai (05/30/2008)

  此外，我们再讨论一些具体的范畴和函子．
  １.　如果把群看作一个范畴的实例，什么应该是它们之间的函子呢？注意到一个函子必须保持单位态射（unit morphism)和结合律．因此，一个函子就是一个群同态．
  ２.　两个半序集间的保序函数（：单调函数）是一个函子．
  ３.（还没学图论，－＿－！）
  ４.还记得范畴1吗？那么，一个从1到任一范畴C的函子应该是怎样的呢？1只有一个对象(Object)和一个单位态射．所以，确定它们之间的一个函子也就是从C中选择一个对象(做为１的像)，反过来，对C中的任一个对象X,我们可以确定一个函子Point＿X:1--->C.