Seven Sketches in Compositionality
Summary: Category theory is a relatively new branch of mathematics that has transformed much of pure math research. The technical advance is that category theory provides a framework in which to organize formal systems and by which to translate between them, allowing one to transfer knowledge from one field to another. But this same organizational framework also has many compelling examples outsid
Categorical informatics
David Spivak Research Scientist Department of Mathematics MIT Email: dspivak--math/mit/edu Background. Success is founded on information. A tight connection between success (in anything) and information. It follows that we should (if we want to be more successful) study what information is. Grant proposals. These are several grant proposals, some funded, some in the pipeline, others not funded, th
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Category theory for scientists
