圏論の神話

ジョン・D・クック氏が友人との会話とQiaochu Yuan氏の投稿をきっかけに、圏論が有用なパターン記述言語である一方、何もなしで何かを得られるという非現実的な期待を抱く人々がいる「神話」について考察する。圏論の過大評価と実用的な価値のバランスを指摘した一編。