David Isaac Spivak (born May 1, 1978) is an American mathematician.
He has held research positions at the University of Oregon and the Massachusetts Institute of Technology.
He is known for his pioneering work on applications of category theory to science and engineering, in particular to agent interactions involving communication, learning and planning.
He is the author of two popular introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.