Coalgebraで生物学

  • Coalgebraで生物学を見てみようと、アナロジーの連鎖をしてみた(こちら)
  • そこで書いた通り、coalgebraとかが使えるのかどうかを理解するには、こちらの双線形関数を出してくるところのように、写像が(実数)1次元空間への写像だったものを2次元に上げるとかのあたりが問題だったわけだけれど、そのあたりを詰めないと行けないし、場合によっては拡張型、などもわからないといけないらしいことはわかった