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... 続きを読む

Scala で圏論入門 - GitHub

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

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