Department of Mathematics
"Category theory is a universal modeling
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,
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
papers. These include papers on a simplicial model of databases,
the databases=categories approach, data migration, communication
networks, and others.
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
Talks and posters.
outlines of chalk-talks and slides of beamer-talks I have given on this
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.