Research Scientist
Department of Mathematics
MIT
Office: 2-230
Email: dspivak--math/mit/edu
Curriculum
Vitae.
Current research projects
Technical Proposal: "Categorical informatics". This is a
proposal for ONR grant N000141310260.
It summarizes my overarching research goals for the years 2013 -- 2015.
Categorical
informatics.
What is the underlying mathematical structure of information itself?
Category theory for scientists
Book. Current version of "Category
theory for scientists."
Google doc. Record suggestions, comments, typos, etc. here.
Course (Spring 2013). Course
webpage.
Past research subjects
Derived manifolds. The
category of derived manifolds contains arbitrary intersections of
manifolds, even if they are not transverse, while retaining enough
structure so that every compact derived manifold has a fundamental class
in cobordism.
Mapping spaces in
quasi-categories. Joint work with Dan Dugger.
High-energy physics. A
paper I coauthored with
Puneet
Batra and
Bogdan Dobrescu.
Other stuff
Miscellaneous files Includes
some papers of mine and others (some brief or unfit for publication, but
possibly of interest), a program for doing calculations in a group-ring,
some LaTeX guides I use, and other random stuff.
Links
MathSciNet.
arXiv.
Category theory
reprints.
Dan Dugger's page.
Jacob Lurie's page
.
John Baez's blog
.
MIT Math department.
MIT Library.
MIT.
foaf.rdf
This
work by David I. Spivak is licensed under a
Creative Commons
Attribution-Share Alike 3.0 Unported License.