David Spivak

David Spivak(Q63866129) is a Category Theorist, who helped founded Applied Category Theory and Topos Institute. He has held research positions at the University of Oregon and the Massachusetts Institute of Technology. He is known for his 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 introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.