圏論における applicative functor

applicative functor って何だ??

平日夜にすごいH本をちょびちょび読む会 17回目 いのちをだいじにしながら「すごいHaskellたのしく学ぼう!」を少しずつ読んでいく という読書会 (?) をやっていて, applicative functor というものが登場してきました.

使い方は分かるのですが, 数学を専攻してた人なので圏論での意味付けが気になって仕方ありません.

そこでこんなふうにつぶやいたところ, 予想以上に多くの反応をもらえました. せっかくなので記録のためにメモっておきます.

ひとまず上から順に読んでいこうと思います.