第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンターをやるそうです。まさに「待ったなし」の圏論。今回の趣旨は「新規参加者を迎える場所」とのことです。Wikipediaだけでモナドやら圏論やらを学ぼうとすると、あまりの難解さに挫折してしまう…