Dynamic categories, dynamic operads: From deep learning to prediction markets

05/08/2022
by   Brandon Shapiro, et al.
0

Natural organized systems adapt to internal and external pressures and this seems to happens all the way down. Wanting to think clearly about this idea motivates our paper, and so the idea is elaborated extensively in the introduction, which should be broadly accessible to a philosophically-interested audience. In the remaining sections, we turn to more compressed category theory. We define the monoidal double category 𝐎𝐫𝐠 of dynamic organizations, we provide definitions of 𝐎𝐫𝐠-enriched, or "dynamic", categorical structures – e.g. dynamic categories, operads, and monoidal categories – and we show how they instantiate the motivating philosophical ideas. We give two examples of dynamic categorical structures: prediction markets as a dynamic operad and deep learning as a dynamic monoidal category.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2023

Optics for Premonoidal Categories

We further the theory of optics or "circuits-with-holes" to encompass pr...
research
09/19/2022

Space-time tradeoffs of lenses and optics via higher category theory

Optics and lenses are abstract categorical gadgets that model systems wi...
research
06/02/2021

Your Tribe Decides Your Vibe: Analyzing Local Popularity in the US Patent Citation Network

In many networks, the indegree of a vertex is a measure of its popularit...
research
12/10/2020

Categorical Perception: A Groundwork for Deep Learning

Classification is one of the major tasks that deep learning is successfu...
research
11/30/2020

The costructure-cosemantics adjunction for comodels for computational effects

It is well established that equational algebraic theories, and the monad...
research
07/28/2021

Type theories in category theory

We introduce basic notions in category theory to type theorists, includi...
research
07/20/2020

Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers

The logical parallelism of propositional connectives and type constructo...

Please sign up or login with your details

Forgot password? Click here to reset