北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

31時間圏論デスレースのお知らせ

第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンターをやるそうです。まさに「待ったなし」の圏論

今回の趣旨は「新規参加者を迎える場所」とのことです。Wikipediaだけでモナドやら圏論やらを学ぼうとすると、あまりの難解さに挫折してしまう人が多いと思います。しかし、圏論の基本的なアイデアってのは実はびっくりするほど単純なもの*1 *2です。よって、この合宿に参加して徹底的に質問して議論し合ってイメージを深めれば、間違いなく理解できるようになると思います。過去に挫折した経験のある方は、これを機に再チャレンジしてみると言うのはいかがでしょうか?

申し込みはこちらこちらから。

*1:対象と射だけですから。ただの公理を満たすGraphですから。

*2:ただし、扱うものが"大きい"とか"小さい"とかを気にし始めると難しい。