David Spivak

David Isaac Spivak is an American mathematician and senior scientist at the Topos Institute. He has worked on applications of category theory, in particular ologs and operadic compositionality of dynamical systems. He authored and coauthored the introductory texts on category theory and its applications, ''Category Theory for the Sciences'' and ''An Invitation to Applied Category Theory''. Provided by Wikipedia