Title: A diagrammatic approach to Hopf monads (Submitted on 3 Jul 2008) Authors: Simon Willerton URL: http://arxiv.org/abs/0807.0658 Pages: 26 最近の絵算もの、面白そうなので印刷した。 Title: Isomorphisms between left and right adjoints (Su…

Title: Jump from parallel to sequential proofs Author: Paolo Di Giamberardino URL: http://www.cirm.univ-mrs.fr/videos/2008/exposes/323/Giambera.pdf Pages: 42 オーバーレイあり

Berger は ベルジュ Hughes は ヒューズ

『計算理論と論理プログラミング』という、どこで手に入れたか分かんない本が出てきた。スマリアンのEFSがべースという変わった内容。

バカ、キリ ランベック、スコット カウフマン コック（Kock）