「両モナドの基礎を固める」にて： 構造が弱すぎるにしても、より強い構造を定義する足場になるのは両モノイド／両モナドなので、これは重要です。ベースキャンプとしての両モナドの基礎を固める必要があります。 いや、これはホントにサッサとやったほうが…

The n-Cateogry Cafe のエントリー"In The News"によると、ScienceNewsの記事に圏論が取り上げられて、そのなかでデイヴィッド・スピヴァックの教科書と彼の発言も紹介されているとのこと。 David Spivak of MIT has perhaps the boldest vision for categor…