Table of Contents
Fetching ...

The 2-category of species of dynamical patterns

Benedetto Silvestri

Abstract

A new category $\mathfrak{dp}$, called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a $2-$category $2-\mathfrak{dp}$, where the irreducible plurality of species of context-depending dynamical patterns is organized. We propose a framework characterized by the following additional features. A collection of experimental settings is associated with any species, such that each one of them induces a collection of experimentally detectable trajectories. For any connector $T$, a morphism between species, any experimental setting $E$ of its target species there exists a set such that with each of its elements $s$ remains associated an experimental setting $T[E,s]$ of its source species, $T[\cdot,s]$ is called charge associated with $T$ and $s$. The vertical composition of connectors is contravariantly represented in terms of charge composition. The horizontal composition of connectors and $2-$cells of $2-\mathfrak{dp}$ is represented in terms of charge transfer. A collection of trajectories induced by $T[E,s]$ corresponds to a collection of trajectories induced by $E$ (equiformity principle). Context categories, species and connectors are organized respectively as $0,1$ and $2$ cells of $2-\mathfrak{dp}$ with factorizable functors via $\mathfrak{dp}$ as $1-$cells and as $2-$cells, arranged themself to form objects of categories, natural transformations between $1-$cells obtained as horizontal composition of natural transformations between the corresponding factors. We operate a nonreductionistic interpretation positing that the physical reality holds the structure of $2-\mathfrak{dp}$, where the fibered category $\mathfrak{Cnt}$ of connectors is the only empirically knowable part....

The 2-category of species of dynamical patterns

Abstract

A new category , called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a category , where the irreducible plurality of species of context-depending dynamical patterns is organized. We propose a framework characterized by the following additional features. A collection of experimental settings is associated with any species, such that each one of them induces a collection of experimentally detectable trajectories. For any connector , a morphism between species, any experimental setting of its target species there exists a set such that with each of its elements remains associated an experimental setting of its source species, is called charge associated with and . The vertical composition of connectors is contravariantly represented in terms of charge composition. The horizontal composition of connectors and cells of is represented in terms of charge transfer. A collection of trajectories induced by corresponds to a collection of trajectories induced by (equiformity principle). Context categories, species and connectors are organized respectively as and cells of with factorizable functors via as cells and as cells, arranged themself to form objects of categories, natural transformations between cells obtained as horizontal composition of natural transformations between the corresponding factors. We operate a nonreductionistic interpretation positing that the physical reality holds the structure of , where the fibered category of connectors is the only empirically knowable part....

Paper Structure

This paper contains 18 sections, 59 theorems, 171 equations.

Key Result

Proposition \oldthetheorem

Let $A,B$ be categories and $\mathcal{V}$ a universe, thus

Theorems & Definitions (196)

  • Proposition \oldthetheorem
  • proof
  • Lemma \oldthetheorem
  • proof
  • Lemma \oldthetheorem
  • proof
  • Definition \oldthetheorem
  • Definition \oldthetheorem: Propensity map
  • Definition \oldthetheorem
  • Definition \oldthetheorem
  • ...and 186 more