強気なタイトルですが、「設立しちゃいかがざんしょ？」くらいの意味です。ジョン・バエズの記事によると、シュプリンガーから出版された Associative Digital Network Theory という本が、なんだかドエライ本らしいです。（記事のコメント欄に、著者御本人…

hiroki_fさん（a.k.a. ジョニー or ヒロくん）が、層圏トポス合宿を企画しているようです。「えっ、本気かよ」と思いましたが、とりあえずやっちゃうようです。そもそも、「層・圏・トポス 現代的集合像を求めて」勉強会のときも、僕は「そんな企画して、誰…

モニャドセミナー #3 - oto-oto-oto日記 あれだけの圏や関手の例はどうやって思いつけるのか？というのが以前から関心があります。何を食べればいいんでしょうか。 栃木産の山菜やキノコです。