David Spivak's AcademicInfluence.com Rankings David Spivak's Degrees Similar Degrees You Can Earn Why Is David Spivak Influential? (Suggest an Edit or Addition)
According to Wikipedia , David Isaac Spivak is an American mathematician and senior scientist at the Topos Institute. He has worked on applications of category theory, in particular ologs and operadic compositionality of dynamical systems. He authored and coauthored the introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.
(See a Problem?) David Spivak's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1970 1980 1990 2000 2010 2020 0 25 50 75 100 125 150 175 200 225 250 275 300 Published Works Category Theory for the Sciences (2014) Ologs: A Categorical Framework for Knowledge Representation (2011) Mapping spaces in Quasi-categories (2009) Functorial data migration (2010) Seven Sketches in Compositionality: An Invitation to Applied Category Theory (2018) (74)The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits (2013) (66)Backprop as Functor: A compositional perspective on supervised learning (2017) Derived smooth manifolds (2008) Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks (2011) Rigidification of quasi-categories (2009) An Invitation to Applied Category Theory (2019) Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams (2014) (53)Reoccurring Patterns in Hierarchical Protein Materials and Music: The Power of Analogies (2011) Materials by Design: Merging Proteins and Music. (2012) Relational foundations for functorial data migration (2012) Dynamical Systems and Sheaves (2016) The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes (2013) (31)Category theory for scientists (2013) (31)Generalized Lens Categories via functors Cop → Cat (2019) (30)Category Theory Based Solution for the Building Block Replacement Problem in Materials Design (2012) Hypergraph Categories (2018) METRIC REALIZATION OF FUZZY SIMPLICIAL SETS (2009) (28)Translation Invariance (2019) The steady states of coupled dynamical systems compose according to matrix arithmetic (2015) (25)Database queries and constraints via lifting problems (2012) Algebraic Databases (2016) (21)Simplicial Databases (2009) (19)Experience Implementing a Performant Category-Theory Library in Coq (2014) Poly: An abundant categorical setting for mode-dependent dynamics (2020) (19)String diagrams for traced and compact categories are oriented 1-cobordisms (2015) Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration (2017) Categorical Data Integration for Computational Science (2019) Temporal Type Theory (2017) Matriarch: A Python Library for Materials Architecture. (2015) Nesting of dynamical systems and mode-dependent networks (2015) Higher-dimensional models of networks (2009) (13)Wiring diagrams as normal forms for computing in symmetric monoidal categories (2021) Supplying bells and whistles in symmetric monoidal categories. (2019) (11)An algebra of open continuous time dynamical systems and networks (2016) (9)Monitoring and Diagnosability of Perception Systems (2020) Categorical prototyping: incorporating molecular mechanisms into 3D printing (2016) Algebraic Model Management: A Survey (2016) Quasi-smooth Derived Manifolds (2007) (8)Graphical Regular Logic (2018) (8)Regular and relational categories: Revisiting 'Cartesian bicategories I' (2019) (8)Functorial Data Migration: From Theory to Practice (2015) (7)Category theory for scientists (Old version) (2013) (7)Kleisli Database Instances (2012) (7)Learners' languages (2021) A Compositional Sheaf-Theoretic Framework for Event-Based Systems (2020) Decomposition-space slices are toposes (2018) Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$ (2019) (5)Categories as mathematical models (2014) Functorial aggregation (2021) (5)String Diagrams for Regular Logic (Extended Abstract) (2020) Fast Left Kan Extensions Using the Chase (2022) Abstraction, Composition and Contracts: A Sheaf Theoretic Approach (2018) (4)Dirichlet Polynomials form a Topos (2020) (4)Pixel Arrays: A fast and elementary method for solving nonlinear systems (2016) (4)Dynamic categories, dynamic operads: From deep learning to prediction markets (2022) A Categorical Semantics for Guarded Petri Nets (2020) Operadic Analysis of Distributed Systems (2015) (3)A Purely Equational Formalism for Functorial Data Migration (2015) (3)Table manipulation in simplicial databases (2010) (3)Pixel matrices: An elementary technique for solving nonlinear systems (2016) Type Theoretical Databases (2014) Behavioral Mereology: A Modal Logic for Passing Constraints (2021) Duoidal Structures for Compositional Dependence (2022) (2)Temporal Landscapes: A Graphical Temporal Logic for Reasoning (2019) (2)Toward formalizing ologs: Linguistic structures, instantiations, and mappings (2015) (2)Structures on Categories of Polynomials (2023) (1)Collectives: Compositional protocols for contributions and returns (2021) (1)Polynomial functors and Shannon entropy (2022) (1)Dynamic Tracing: a graphical language for rewriting protocols (2023) Categorical Information Theory (2011) Evaluating the Pixel Array Method as Applied to Partial Differential Equations. (2018) (1)The Category of Sets (2019) Dirichlet Functors are Contravariant Polynomial Functors (2020) (1)Behavioral Mereology (2018) (1)Dirichlet Polynomials and Entropy (2021) Memoryless Systems Generate the Class of all Discrete Systems (2019) SEQUENTIAL SETS (2011) (1)C T ] 2 7 A pr 2 01 6 Homotopy composition of cospans (2018) (0)Fundamental Considerations of Categories (2014) (0)Dynamical Systems and Sheaves (2019) L O ] 1 N ov 2 01 8 Behavioral Mereology (2018) (0)In search of a Monad for system call abstractions (2013) (0)David I. Spivak: Curriculum Vitae (2010) (0)Temporal Landscapes: A Graphical Logic of Behavior (2019) LOCALIC DATABASES (2009) (0)Deep neural networks as nested dynamical systems (2021) (0)Fast Left Kan Extensions Using The Chase-Abstract (2019) (0)A ug 2 01 9 Generalized Lens Categories via functors C op → Cat (2019) (0)Fundamental Considerations in Set (2014) (0)Categories and Functors, Without Admitting It (2014) (0)or, Co-(LINQ: Language-integrated Queries) (2015) (0)The Interval Domain (2019) All Concepts are C at ♯ (2023) (0)Collaborative Design: Profunctors, Categorification, and Monoidal Categories (2019) Behavioral Mereology (Proofs and Properties). (2018) (0)Categorical approach to agent interaction (2018) (0)Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 (2021) Workshop on Topology and Abstract Algebra for Biomedicine (2016) Regular Calculi I: Graphical Regular Logic (2021) (0)A reference for categorical structures on $\mathbf{Poly}$ (2022) (0)C T ] 1 8 Ja n 20 19 Hypergraph Categories (2019) (0)1 M ar 2 02 1 Learners ’ languages (2021) (0)Project Narrative : Categorical approach to agent interaction (2012) (0)HIGHER-DIMENSIONAL MODELS OF SOCIAL NETWORKS (2009) (0)Matriarch: Mathematics Supplement (2015) (0)Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020 (2021) Local Numeric Types and Derivatives (2019) Research Statement Pure Mathematics Applied Mathematics Background and Current Work (0)QINL: Query-integrated Languages (2015) (0)C T ] 2 0 Ju n 20 19 Graphical Regular Logic (2019) (0)NETWORKS WITH SHARED SPACES SHOULD BE MODELED BY SIMPLICIAL SETS, NOT GRAPHS (2009) (0)Data-driven dynamics and collective decision-making (2021) (0)( Project Narrative ) A Category-Theoretic Approach to Agent Interaction : Information , Communication , Planning , and Learning (2018) (0)METRIC REALIZATION OF FUZZY (2009) (0)Databases: Categories, Functors, and Universal Constructions (2019) Categories at Work (2014) Homotopy composition of cospans (2016) Semantics and Soundness (2019) Categorical informatics : A functorial approach to data integration (2015) (0)SMOOTH CHESS (2009) (0)Basic ∞-Category Theory (2022) Logical Preliminaries (2019) Pixel matrices and other compositional analyses of interconnected systems (2016) (0)C T ] 2 S ep 2 01 9 Decomposition-space slices are toposes (2019) (0)GENERALIZED RINGED SPACES AND SCHEMES (2011) (0)My title (2015) (0)A summary of categorical structures in Poly (2022) (0)More Papers This paper list is powered by the following services:
Other Resources About David Spivak What Schools Are Affiliated With David Spivak? David Spivak is affiliated with the following schools:
