Department of Mathematics
Current research projects
Technical Proposal: "Categorical informatics". This is the
proposal for the awarded ONR grant N000141310260.
Technical Proposal: "Categorical approach to agent interaction". This is
the proposal for the awarded AFOSR grant FA9550-14-1-0031.
What is the underlying mathematical structure of information itself?
FQL. Functorial query
language. Download to see the
"databases as categories" idea in
with Ryan Wisnesky).
Category theory book
MIT Press will publish
"Category theory for
online, "Category theory for scientists". This older
version of the book differs from the MIT Press version only
in terms of organizational and other minor changes and in
that it does not include exercise solutions.
Course (Spring 2013). Course
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
Mapping spaces in
quasi-categories. Joint work with Dan Dugger.
High-energy physics. A
paper I coauthored with
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.
Dan Dugger's page.
Jacob Lurie's page
John Baez's blog
MIT Math department.
work by David I. Spivak is licensed under a
Attribution-Share Alike 3.0 Unported License.