意外と少ない。 google:coalgebra Robert Goldblatt

http://www.grammars.grlmc.com/Grammars/GRLMC/PersonalPages/ze/tarragonaindex.html Zoltanのaの上と、EsikのEの上にプラムみたいなダイアクリティカルマークが付いている。なんて読むか？わからん！ハンガリーの人で、Bloom & Esik "Iteration theory"の…

ステファネスク（って発音でいいのか？ Gheorghe Stefanescu）は偉大だ、スゲー人だ。1980年代に、対称モノイド圏とトレースの概念を得ている。Hasegawa/Hylandの定理もこの当時に示していたらしいし。ところで、この本（Network Algebra）はアマゾンにない…

ニック・ベントン Nick Benton →http://research.microsoft.com/~nick/ マーチン・ハイランド J. Martin E. Hyland →http://www.dpmms.cam.ac.uk/~martin/ デクスター・コゥゼン Dexter Kozen→http://www.cs.cornell.edu/~kozen/ ローランド・バックハウス R…