David I. Spivak
David I. Spivak
Topos Institute
Email verificata su topos.institute
Titolo
Citata da
Citata da
Anno
Category theory for the sciences
DI Spivak
MIT Press, 2014
276*2014
Ologs: a categorical framework for knowledge representation
DI Spivak, RE Kent
PloS one 7 (1), e24274, 2012
1192012
Mapping spaces in quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 263-325, 2011
832011
Anomaly-free sets of fermions
P Batra, BA Dobrescu, D Spivak
Journal of mathematical physics 47 (8), 082301, 2006
802006
Derived smooth manifolds
DI Spivak
Duke Mathematical Journal 153 (1), 55-128, 2010
742010
An invitation to applied category theory: seven sketches in compositionality
B Fong, DI Spivak
Cambridge University Press, 2019
68*2019
Functorial data migration
DI Spivak
Information and Computation 217, 31-51, 2012
642012
Category theoretic analysis of hierarchical protein materials and social networks
DI Spivak, T Giesa, E Wood, MJ Buehler
PLoS One 6 (9), e23911, 2011
482011
Rigidification of quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 225-261, 2011
482011
Algebras of open dynamical systems on the operad of wiring diagrams
D Vagner, DI Spivak, E Lerman
arXiv preprint arXiv:1408.1598, 2014
452014
The operad of wiring diagrams: Formalizing a graphical language for databases, recursion, and plug-and-play circuits
DI Spivak
arXiv preprint arXiv:1305.0297, 2013
452013
Backprop as Functor: A compositional perspective on supervised learning
B Fong, D Spivak, R Tuyéras
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
432019
Materials by design: Merging proteins and music
JY Wong, J McDonald, M Taylor-Pinney, DI Spivak, DL Kaplan, ...
Nano Today 7 (6), 488-495, 2012
362012
Reoccurring patterns in hierarchical protein materials and music: the power of analogies
T Giesa, DI Spivak, MJ Buehler
BioNanoScience 1 (4), 153-161, 2011
302011
Dynamical systems and sheaves
P Schultz, DI Spivak, C Vasilakopoulou
Applied Categorical Structures 28 (1), 1-57, 2020
28*2020
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
D Rupel, DI Spivak
arXiv preprint arXiv:1307.6894, 2013
252013
Experience implementing a performant category-theory library in Coq
J Gross, A Chlipala, DI Spivak
International Conference on Interactive Theorem Proving, 275-291, 2014
232014
The steady states of coupled dynamical systems compose according to matrix arithmetic
DI Spivak
arXiv preprint arXiv:1512.00802, 2015
212015
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
212015
Hypergraph categories
B Fong, DI Spivak
Journal of Pure and Applied Algebra 223 (11), 4746-4777, 2019
202019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20