>>506 >>501
やっと、圏論について自分と同じような進度の人が現れてうれしいですw
(私の場合は、Awodeyを1、2割の理解で進んでいるので同じとは言えませんが)
この後も是非ここに出没wしてほしいと思います。

さっそく少し質問させてください。
>数学を専門にやっていない人(例えば,計算機屋さん)は
圏論は計算機科学にとって有効であるという感触はあなたには既にありますか?
私にはそんな感触は今の所全くないのですが。

>今,AwodeyのCategory Theoryの米田のレンマとadjointあたりを読んでいる
米田のレンマはどう理解されましたか?