はじめての圏論 - しりとりの圏 - ボクノス

はじめての圏論 - しりとりの圏 - ボクノス

お久しぶりデス。 わかりやすかったので、自分なりにまとめてみる。 はじめての圏論 その第1歩：しりと...概要を表示 お久しぶりデス。 わかりやすかったので、自分なりにまとめてみる。 はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記 チュートリアルに従い、しりとりの圏について考える事にする。 とりあえずしりとりの圏の定義 集合関係 対象 ひらがな文字一文字「あ」を対象とする。 対象の集合 ひらがな文字全体の集合をH={あ,ぁ,い,ぃ,う,ぅ...ん,ー}とする。 要するにHは型？ 射 ひらがな文字列"りんご"を射とする。(ダブルクオートで囲んだものを文字列とし、空文字列""は含まない) 射の集合 ひらがな文字列全体の集合をHStr={"あ","あいうえお","りんご","ばなな","みかん"...}とする。 いっぱいある。 演算子 演算に使うものの定義 域(dom) 文字列sの最初の文字を取り出す first(s) = x : HStr -> H 例 : first("りんご") =