Difference between revisions of "David Spivak"
Jump to navigation
Jump to search
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{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]]. | {{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, [[Book/Category Theory for the Sciences|Category Theory for the Sciences]] and [[An Invitation to Applied Category Theory]]. | ||
<noinclude> | <noinclude> | ||
{{#ask: [[Authored by::David Spivak]] | |||
|format=table | |||
|mainLabel=Content Link | |||
}} | |||
{{#ask: [[Presented by::David Spivak]] | |||
|format=table | |||
|mainLabel=Content Link | |||
}} | |||
=References= | =References= | ||
<references/> | <references/> | ||
Latest revision as of 16:04, 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.