Skip to main content
fix parenthesis and add a comment to avoid the six character min edit
Source Link

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$$\phi(x,t + s) = \phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = \phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

fixed italicization
Source Link
Vidit Nanda
  • 15.5k
  • 2
  • 63
  • 125

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of $T$-dynamical systems on $X$category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

tried to accomodate tim porter's excellent suggestions!
Source Link
Vidit Nanda
  • 15.5k
  • 2
  • 63
  • 125

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of category of dynamical systems$T$-dynamical systems on $(X,T)$$X$ which yields useful information about $X$ and $T$?

More precisely, is there a non-trivial category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of dynamical$T$-dynamical systems on $(X,T)$$X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems on the same $(X,T)$ may be considered equivalent, and what it would take to have functors from dynaical$T$-dynamical systems on $(X,T)$$X$ to those$T'$-dynamical systems on $(X',T')$$X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of dynamical systems on $(X,T)$?

More precisely, is there a non-trivial category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of dynamical systems on $(X,T)$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two dynamical systems on the same $(X,T)$ may be considered equivalent, and what it would take to have functors from dynaical systems on $(X,T)$ to those on $(X',T')$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a *category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$?

More precisely, is there a category whose objects are dynamical systems, i.e., $\phi:X \times T \to X$ such that $\phi(x,t + s) = (\phi(\phi(x,t),s)$? And if so,

what are morphisms $\phi \to \phi'$ of $T$-dynamical systems on $X$?

I assume that in general this would involve imposing structure on $X$: for example, a topology so that one could consider homotopically perturbing $\phi$. Mostly, I am interested in asking when two such dynamical systems may be considered equivalent, and what it would take to have functors from $T$-dynamical systems on $X$ to $T'$-dynamical systems on $X'$, and to have natural transformations of those functors, etc.

I promise I've done (some) homework by looking at this. But note that this document only provides candidates for equivalent dynamical systems which presumably only accounts for isomorphisms in the desired category rather than all morphisms.

This may be too basic a question for the folks here; in this case I will delete it.

Source Link
Vidit Nanda
  • 15.5k
  • 2
  • 63
  • 125
Loading