サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
WWDC25
math.mit.edu/~dspivak
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
David Spivak Research Scientist Department of Mathematics MIT Office: 2-230 Email: dspivak--math/mit/edu
Introduction Categories and Functors Databases Databases as categories Conclusion Databases are categories David I. Spivak dspivak@uoregon.edu Mathematics Department University of Oregon Presented on 2010/06/03 Galois Connections David I. Spivak Databases are categories Introduction Categories and Functors Databases Databases as categories Conclusion My background Need for coherence Role of Mathem
David Spivak Research Scientist Department of Mathematics MIT Office: Building 2, Room 180 Email: dspivak--math/mit/edu Curriculum Vitae. Current research projects Technical Proposal: "Pixel matrices and other compositional analyses of interconnected systems". This is a proposal for another awarded AFOSR grant. Technical Proposal: "Categorical approach to agent interaction". This is the proposal f
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
このページを最初にブックマークしてみませんか？
『David Spivak's Homepage』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
