David Spivak

As I figure it, everything that's here is constantly passing away. Now is passing.

One might want to hold onto their youth, or their kids' youth, or a beautiful scene, or their life, but this is not possible. If one tries to circumvent this and tries to pin it down, the beautiful thing loses its value and often becomes ugly or perverted.

All one can do, then, is to keep renewing one's appreciation now and then now and then now, for as long as one wants to and can. To me, the act of appreciating is one of simultaneously celebrating and mourning: celebrating that you get to experience something and mourning that this is the last time it will ever be this way.

But these two emotions can be combined into a single orientation, and that's what I call appreciating. One might see it as celebrating and mourning, but it's really just one very poignant and beautiful feeling.

Chief Scientific Officer at Topos Institute

Curriculum Vitae

Email: dspivak@gmail.com

Current research projects


Functorial Dynamics and Interaction. Using polynomial functors to model dynamical systems, decision processes, data migration, and more! (I'm completely enthralled with the category Poly.) A book on the subject is in preparation. Idris code can be found here.

Introductory books on Applied Category theory


Category Theory for the Sciences was published by MIT Press, also available on Amazon.
Here are reviews by the MAA, by the AMS, and by SIAM.
Course materials (MIT OCW) can be found here.

Seven Sketches in Compositionality. This material has been published by Cambridge University Press as An Invitation to Applied Category Theory by Brendan Fong and David I. Spivak. This version is free to view and download for personal use only. Not for re-distribution, re-sale or use in derivative works. © Brendan Fong and David Spivak 2019. Also available on Amazon.
Here is a review by the MAA and a review by Acta Crystallographica.
Course materials (MIT OCW) can be found here.

Past research subjects


Applied Category Theory. Various ACT grants, some funded and others not.

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.


Values Statement

Values Statement. This is a first attempt to convey the values that seem to motivate me.




Creative 
Commons License
This work by David I. Spivak is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.