前原 和壽著『圏論入門』実況 - Togetter

2018/08/30 38 users Togetter 前原 数学 pic.twitter.com

『圏論入門』(数学のかんどころ35)を前原先生よりご恵贈いただきました。タイトルに「入門」とありますが、後半はかなり手強そうです。 kyoritsu-pub.co.jp/bookdetail/978… pic.twitter.com/9NQXEATghk 続きを読む

Agda による圏論入門

2013/08/22 68 users Agda Record Reasoning level 要約

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む

圏論入門のとしてのホモロジー - 再帰の反復

2013/08/08 39 users 反復 ロジック 数学 入門 論理学

数学圏論への入門の仕方ホモロジー付記:ホモトピーとホモロジーの違いコホモロジー関数のつながりにくさと(コ)ホモロジー完全系列と圏論的視点制約としての完全系列付記:加群のホモロジーとTor圏論への入門の仕方圏論を学ぶきっかけとしては、だいたい計算機科学、論理学からホモロジー、代数幾何からの二つがあって、一見すると計算機科学、ロジックの方から入った方が(数学の前提知識をあまり必要としないこともあって)... 続きを読む

Scala で圏論入門 - GitHub

2012/01/18 149 users GitHub Scala モナド 未知 概念

https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭遇するだろう。そういった未知の概念は、君を、自分が恐ろしくまぬけ... 続きを読む