2021-11-23から1日間の記事一覧

関手を考えるありがたみ

圏論で関手（functor）という概念が出てきます．いったい何のために関手を考えるのか．関手を考えるとどういう嬉しさがあるのか．そういう話をします．