『圏、導来圏入門文献表』
私は私の備忘録 数学や物理について雑多に書いています。但しほとんどが自分の為のメモであり常に不完全です。 常に、訂正、意見、質問、議論は歓迎です。 時々内容を編集しているので時々覗いてみてください。 気付けばこのブログも検索ワード『導来圏』に対して上位に出てくるようになってしまいました。 導来圏の簡単な流れについても書いたのでそちらも参考にして頂けると幸いです。 最近、数学の世界に限らず、物理学の世界や情報学の世界でも圏や導来圏という言葉がよく聞かれるように成ってきました。しかし、これらについて何も知らない人が勉強するのは大変で、しかも、どんな文献が良いのかよくわからない！という事があるかもしれません。そこで今回のブログでは圏や導来圏の簡単な入門の為の文献表（全く完全なものではありませんので適宜更新していきます。）を書いてみました。 まず数理科学の記事は短くまとまっていて入門には最適でしょ
導来圏 - Wikipedia
原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。 数学においてアーベル圏 の導来圏（どうらいけん、英: Derived category、仏: Catégorie dérivée） はホモロジー代数から構成されるもので、 上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む：まず圏 の対象は の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、超コホモロジー（英語版）の考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列を用いて（完全に忠実では
Category theory: online lecture notes, etc. - Logic Matters
The links below are to various freely (and legitimately!) available online resources for those interested in category theory at an elementary/intermediate level. Gentle introductions?As you will see, there are nearly fifty books and sets of notes listed below. Where to start? That must depend on your mathematical background and one size won’t fit all. Here are three highlights: Over the years, man
Textbook | Category Theory for Scientists | Mathematics | MIT OpenCourseWare
All readings and assignments are from the textbook, which is available online: Complete textbook as a single file (PDF - 4.3MB) To leave comments or questions about the book, go to CT4S suggestions. 1 Introduction (PDF) 1.1 A brief history of category theory 1.2 Intention of this book 1.3 What is requested from the student 1.4 Category theory references 1.5 Acknowledgments 2 The category of sets (
Category Theory for Scientists | Mathematics | MIT OpenCourseWare
The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by …Show more The goal of this class is to prove that category theory is a powerful langu
Conceptual Mathematics: A First Introduction to Categories
In the last fifty years, the use of the notion of 'category' has led to a remarkable unification and simplification of mathematics. Written by two of the best-known participants in this development, Conceptual mathe- matics is the first book to apply categories to the most elementary mathe- matics. It thus serves two purposes: to provide a skeleton key to mathematics for the general reader or beg
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
Category Theory by Tom LaGatta
Filmed at the March 11, 2014 LispNYC meetup at Meetup HQ in NYC. ABOUT DATA COUNCIL: Data Council (https://www.datacouncil.ai/) is a community and conference series that provides data professionals with the learning and networking opportunities they need to grow their careers. Make sure to subscribe to our channel for more videos, including DC_THURS, our series of live online interviews with lea
Agda による圏論入門
Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona
Haskell/Category theory - Wikibooks, open books for an open world
This article attempts to give an overview of category theory, in so far as it applies to Haskell. To this end, Haskell code will be given alongside the mathematical definitions. Absolute rigour is not followed; in its place, we seek to give the reader an intuitive feel for what the concepts of category theory are and how they relate to Haskell. Introduction to categories[edit | edit source] A simp
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Free object - Wikipedia
Amazon.co.jp: 圏論の技法: 中岡宏行: 本
Amazon.co.jp： 圏論 原著第2版: Steve Awodey, 前原 和寿: 本
Amazon.com: Cakes, Custard and Category Theory: Easy recipes for understanding complex maths: Cheng, Eugenia: Books
Home Page
Amazon.com: Category Theory for the Sciences (Mit Press): Spivak, David I.: Books
Amazon.com: Category Theory (Oxford Logic Guides): Awodey, Steve: Books
Category Theory for the Sciences
実験サイト神の目 - 日本政府観察 -