SAKAI Masahiro - catamorphism Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= catamorphism

((<initial algebra>)) から他の((<algebra>))へのユニークなmorphismの事?

((<anamorphism>))の双対。