層圏トポス勉強会も一区切りがついたので飲み会をします。今回は飲み会だけです。参加者募集します。モナド納涼会 : ATND ビアガーデンでモナドについて語りませんか？ CLTT勉強会と層圏トポス勉強会の合同飲み会です。 圏論、モナドに興味ある方は是非参加…