Difference between revisions of "David Spivak"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{WikiEntry|key=David Spivak|qCode=63866129}} is a Category Theorist, who helped founded [[Applied Category Theory]]. | {{WikiEntry|key=David Spivak|qCode=63866129}} 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. | ||
<noinclude> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Topos Institute]] | [[Category:Topos Institute]] | ||
[[Category:Applied Category Theory]] | [[Category:Applied Category Theory]] | ||
</noinclude> | |||
Revision as of 11:20, 24 February 2022
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.