圏論

はじめての圏論
http://d.hatena.ne.jp/m-hiyama/20060821/1156120185

「"あ";"あか" = "あか"」の例から分かるように、1文字だけからなる文字列(長さ1の列)は単位のような働きを持ちます。そこで、unitあ = "あ" のような書き方をすることにします。

単位のような働きっていうのがよくわからん。どういうことだろ。うーん。