Ologs: A Categorical Framework for Knowledge Representation

by Spivak, David I., Kent, Robert E.
Published 2012

String diagrams for traced and compact categories are oriented 1-cobordisms

by Spivak, David I, Schultz, Patrick M
Published 2019

Memoryless Systems Generate the Class of all Discrete Systems

by Beurier, Erwan, Pastor, Dominique, Spivak, David I
Published 2021

Experience Implementing a Performant Category-Theory Library in Coq

by Chlipala, Adam, Spivak, David I., Gross, Jason S.
Published 2015

Reoccurring Patterns in Hierarchical Protein Materials and Music: The Power of Analogies

by Giesa, Tristan, Spivak, David I, Buehler, Markus J
Published 2013

Category theory based solution for the building block replacement problem in materials design

by Giesa, Tristan, Spivak, David I., Buehler, Markus J.
Published 2013

Backprop as Functor: A compositional perspective on supervised learning

by Fong, Brendan C, Spivak, David I, Tuyeras, Remy V
Published 2020

Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks

by Giesa, Tristan, Wood, Elizabeth, Spivak, David I, Buehler, Markus J
Published 2012

Matriarch: A Python Library for Materials Architecture

by Spivak, David I., Giesa, Tristan, Jagadeesan, Ravi, Buehler, Markus J
Published 2017

Materials by design: Merging proteins and music

by Wong, Joyce Y., McDonald, John, Taylor-Pinney, Micki, Kaplan, David L., Spivak, David I, Buehler, Markus J
Published 2015