42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles6 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- Owen Lynch2 profiles3 · h 3
- B. Shapiro2 · h 4
- J. Baez2 · h 57
- Michael Lambert2 · h 1
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- ToposUS24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of California, RiversideUS2 papers
- University of Massachusetts BostonUS2 papers
- Utrecht UniversityNL2 papers
- Centre for Quantum TechnologiesSG1 paper
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
9 papers · 1 filter
Designing Ecosystems of Intelligence from First Principles
Karl J Friston, Maxwell J D Ramstead, Alex B Kiefer +17
This white paper lays out a vision of research and development in the field of artificial intelligence for the next decade (and beyond). Its denouement is a cyber-physical ecosyste…
Polynomial Life: the Structure of Adaptive Systems
Toby St Clere Smithe
We extend our earlier work on the compositional structure of cybernetic systems in order to account for the embodiment of such systems. All their interactions proceed through their…
Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
Toby St. Clere Smithe
We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebrai…
Dialectica Principles via Gödel Doctrines
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Gödel's Dialectica interpretation was conceived as a tool to obtain the consistency of Peano arithmetic via a proof of consistency of Heyting arithmetic in the 40s. In recent years…
Compositional Modeling with Stock and Flow Diagrams
John Baez, Xiaoyan Li, Sophie Libkind +2
Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems th…
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
Brandon T. Shapiro, David I. Spivak
Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates o…