String diagrams for traced and compact categories are oriented 1-cobordisms door Spivak, David I, Schultz, Patrick M

Volledige tekst

Ologs: A Categorical Framework for Knowledge Representation door Spivak, David I., Kent, Robert E.

Volledige tekst

Dynamical Systems and Sheaves door Schultz, Patrick, Spivak, David I, Vasilakopoulou, Christina

Volledige tekst

Memoryless Systems Generate the Class of all Discrete Systems door Beurier, Erwan, Pastor, Dominique, Spivak, David I

Volledige tekst

Experience Implementing a Performant Category-Theory Library in Coq door Chlipala, Adam, Spivak, David I., Gross, Jason S.

Volledige tekst
Volledige tekst
Volledige tekst

Reoccurring Patterns in Hierarchical Protein Materials and Music: The Power of Analogies door Giesa, Tristan, Spivak, David I, Buehler, Markus J

Volledige tekst
Volledige tekst
Volledige tekst

Category theory based solution for the building block replacement problem in materials design door Giesa, Tristan, Spivak, David I., Buehler, Markus J.

Volledige tekst
Volledige tekst
Volledige tekst

Backprop as Functor: A compositional perspective on supervised learning door Fong, Brendan C, Spivak, David I, Tuyeras, Remy V

Volledige tekst

Matriarch: A Python Library for Materials Architecture door Spivak, David I., Giesa, Tristan, Jagadeesan, Ravi, Buehler, Markus J

Volledige tekst
Volledige tekst
Volledige tekst

Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks door Giesa, Tristan, Wood, Elizabeth, Spivak, David I, Buehler, Markus J

Volledige tekst
Volledige tekst
Volledige tekst

Materials by design: Merging proteins and music door Wong, Joyce Y., McDonald, John, Taylor-Pinney, Micki, Kaplan, David L., Spivak, David I, Buehler, Markus J

Volledige tekst
Volledige tekst