David Spivak

David Spivak

matematician american · n. 1978 · 1 titlu

David Isaac Spivak este un matematician american și cercetător principal la Topos Institute. A lucrat la aplicații ale teoriei categoriilor, în special ologs și compoziția sistemelor dinamice prin operade. A scris și coautorat textele introductive despre teoria categoriilor și aplicațiile sale, precum *Category Theory for the Sciences* și *An Invitation to Applied Category Theory*.

Cărți de David Spivak

Coperta cărții Temporal Type Theory

Patrick Schultz, David I. Spivak