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

by   Brandon Shapiro, et al.

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.


page 1

page 2

page 3

page 4

βˆ™ 05/04/2023

Optics for Premonoidal Categories

We further the theory of optics or "circuits-with-holes" to encompass pr...
βˆ™ 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...
βˆ™ 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...
βˆ™ 12/10/2020

Categorical Perception: A Groundwork for Deep Learning

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

The costructure-cosemantics adjunction for comodels for computational effects

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

Type theories in category theory

We introduce basic notions in category theory to type theorists, includi...
βˆ™ 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