Segui
David I. Spivak
David I. Spivak
Topos Institute
Email verificata su topos.institute - Home page
Titolo
Citata da
Citata da
Anno
Category theory for the sciences
DI Spivak
MIT press, 2014
414*2014
An invitation to applied category theory: seven sketches in compositionality
B Fong, DI Spivak
Cambridge University Press, 2019
255*2019
Ologs: a categorical framework for knowledge representation
DI Spivak, RE Kent
PloS one 7 (1), e24274, 2012
1752012
Mapping spaces in quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 263-325, 2011
1152011
Functorial data migration
DI Spivak
Information and Computation 217, 31-51, 2012
1062012
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
1052019
Anomaly-free sets of fermions
P Batra, BA Dobrescu, D Spivak
Journal of mathematical physics 47 (8), 2006
922006
Derived smooth manifolds
DI Spivak
912010
Rigidification of quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 225-261, 2011
842011
Category theoretic analysis of hierarchical protein materials and social networks
DI Spivak, T Giesa, E Wood, MJ Buehler
PloS one 6 (9), e23911, 2011
752011
Algebras of open dynamical systems on the operad of wiring diagrams
D Vagner, DI Spivak, E Lerman
arXiv preprint arXiv:1408.1598, 2014
672014
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
652013
Dynamical systems and sheaves
P Schultz, DI Spivak, C Vasilakopoulou
Applied Categorical Structures 28 (1), 1-57, 2020
53*2020
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
532012
Reoccurring patterns in hierarchical protein materials and music: the power of analogies
T Giesa, DI Spivak, MJ Buehler
BioNanoScience 1, 153-161, 2011
482011
Hypergraph categories
B Fong, DI Spivak
Journal of Pure and Applied Algebra 223 (11), 4746-4777, 2019
462019
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
442015
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
422016
Category theory based solution for the building block replacement problem in materials design
T Giesa, DI Spivak, MJ Buehler
Advanced Engineering Materials 14 (9), 810-817, 2012
412012
Metric realization of fuzzy simplicial sets
DI Spivak
Preprint, 4, 2009
382009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20