Research Scientist
Department of Mathematics
MIT
Email: dspivak--math/mit/edu
"Category theory is a universal modeling
language."
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, that
explain various facets of my research project.
Introductory talk (video,
slides).
Blog
post, on John Baez's blog Azimuth, about my
motivations for
studying this subject. (Here's a .pdf
version.)
Book.
Category
Theory for Scientists. This book attempts to show that category theory
can be applied throughout the sciences as a framework for modeling
observed phenomena and for communicating results. In order to target a
scientific audience, the book is example-based rather than proof-based. On
the arXiv.
Papers.
Pure math
papers. These include papers on a simplicial model of databases,
the databases=categories approach, data migration, communication
networks, and others.
Applied
math papers. These include papers on ologs (the transition from
the pure to the applied side), and their use in sciences.
Notes, talks, and student involvement.
Notes. Unfinished work I've
begun. Some appears elsewhere, some is abandoned, some I hope to reinvigorate in the
future.
Talks and posters.
Some
outlines of chalk-talks and slides of beamer-talks I have given on this
subject.
Informatics
seminar. This is the course webpage for my Informatics seminar, given
at the University of Oregon
in Winter 2010.
Agent-based complex systems. Here are a
scheule and slides from a conference relating to these
ideas at IPAM in October 2009.
UROP in Categorical Information Theory. A chance for students to
become involved in research.
This work by David I. Spivak is licensed under a Creative Commons
Attribution-Share Alike 3.0 Unported License.