DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» David Spivak
David Spivak
Double Categories of Open Dynamical Systems (Extended Abstract)
Applied Category Theory for Genomics – an Initiative
Diagrammatics in Categorification and Compositionality
2019 AMS Prize Announcements
1.2 Variable Object Models and the Graded Yoneda Lemma
A Whirlwind Tour of the World of (∞,1)-Categories
Knowledge Representation in Bicategories of Relations
Compositional Deep Learning
Merging Proteins and Music
Dioptics: a Common Generalization of Open Games and Gradient-Based Learners
Gene Ologs: a Categorical Framework for Gene Ontology
The Operad of Temporal Wiring Diagrams: Formalizing a Graphical Language for Discrete-Time Processes
Categorical Homotopy Theory Emily Riehl
Backprop As Functor: a Compositional Perspective on Supervised Learning
Workshop on Applied Category Theory: Bridging Theory and Practice
Operadic Modeling of Dynamical Systems: Mathematics and Computation
Prize Is Awarded to the Author of an Outstanding Expository Article on a Mathematical Topic
Resource Sharing Machines Unifying Two Flavors of Open Dynamical Systems Sophie Libkind July 30, 2020
Top View
Cohomology of P-Torsion Sheaves on Characteristic-P Curves
Knowledge Representation in Bicategories of Relations
A PROBABILITY MONAD AS the COLIMIT of SPACES of FINITE SAMPLES Contents
DYNAMICAL SYSTEMS and SHEAVES Like [RS13, Spi13, VSL15], Is That a Single System May Arise by Wiring Together Any Num- Ber of Component Open Subsystems; See Fig
Operadic Analysis of Distributed Systems
Notes on Applied Category Theory: Information Structures and Modular Systems
Impact on Biological and Non-Biological Systems Markus J
Category Theory in Machine Learning
Questions and Speculation on Learning and Cohomology, Version 3
Mathematician & Math Teacher
Ologs: a Categorical Framework for Knowledge Representation
Gindi, Harry Coherent Nerves for Higher Quasicategories. (English
Arxiv:2105.12282V2 [Math.CT] 28 May 2021 Is Often Lost in Implementation
Compositional Analyses of Dynamical Systems FA9550-14-1-0031
Wiring Diagrams As Normal Forms for Computing in Symmetric Monoidal Categories
Rigidification of Quasi-Categories 3