Scholar

David I. Spivak

Google Scholar ID: thGZ6w4AAAAJ

Topos Institute

Applied category theoryinteractiondynamical systemscompositionality

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

3,499

H-index

28

i10-index

51

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

6 items

Interactions that reshape the interfaces of the interacting parties

2026

Cited

0

The compact double category $mathbf{Int}(mathbf{Poly}_*)$ models control flow and data transformations

2025

Cited

0

Polynomial Universes in Homotopy Type Theory

2024

Cited

0

Functorial aggregation

2021

Cited

0

Learners' languages

ACT · 2021

Cited

15

Algebraic Databases

arXiv.org · 2016

Cited

32

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)