Sledovať
David I. Spivak
David I. Spivak
Topos Institute
Overená e-mailová adresa na: topos.institute - Domovská stránka
Názov
Citované v
Citované v
Rok
Category theory for the sciences
DI Spivak
MIT press, 2014
457*2014
An invitation to applied category theory: seven sketches in compositionality
B Fong, DI Spivak
Cambridge University Press, 2019
316*2019
Ologs: a categorical framework for knowledge representation
DI Spivak, RE Kent
PloS one 7 (1), e24274, 2012
1922012
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
1472019
Functorial data migration
DI Spivak
Information and Computation 217, 31-51, 2012
1272012
Mapping spaces in quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 263-325, 2011
1182011
Derived smooth manifolds
DI Spivak
982010
Anomaly-free sets of fermions
P Batra, BA Dobrescu, D Spivak
Journal of mathematical physics 47 (8), 2006
972006
Rigidification of quasi-categories
D Dugger, DI Spivak
Algebraic & Geometric Topology 11 (1), 225-261, 2011
932011
Category theoretic analysis of hierarchical protein materials and social networks
DI Spivak, T Giesa, E Wood, MJ Buehler
PloS one 6 (9), e23911, 2011
792011
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
722013
Algebras of open dynamical systems on the operad of wiring diagrams
D Vagner, DI Spivak, E Lerman
arXiv preprint arXiv:1408.1598, 2014
672014
Dynamical systems and sheaves
P Schultz, DI Spivak, C Vasilakopoulou
Applied Categorical Structures 28 (1), 1-57, 2020
57*2020
Relational foundations for functorial data migration
DI Spivak, R Wisnesky
Proceedings of the 15th Symposium on Database Programming Languages, 21-28, 2015
562015
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
562012
Algebraic databases
P Schultz, DI Spivak, C Vasilakopoulou, R Wisnesky
arXiv preprint arXiv:1602.03501, 2016
542016
Reoccurring patterns in hierarchical protein materials and music: the power of analogies
T Giesa, DI Spivak, MJ Buehler
BioNanoScience 1, 153-161, 2011
542011
Hypergraph categories
B Fong, DI Spivak
Journal of Pure and Applied Algebra 223 (11), 4746-4777, 2019
492019
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
462012
Experience implementing a performant category-theory library in Coq
J Gross, A Chlipala, DI Spivak
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
412014
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20