7,986 research outputs found
The categorical limit of a sequence of dynamical systems
Modeling a sequence of design steps, or a sequence of parameter settings,
yields a sequence of dynamical systems. In many cases, such a sequence is
intended to approximate a certain limit case. However, formally defining that
limit turns out to be subject to ambiguity. Depending on the interpretation of
the sequence, i.e. depending on how the behaviors of the systems in the
sequence are related, it may vary what the limit should be. Topologies, and in
particular metrics, define limits uniquely, if they exist. Thus they select one
interpretation implicitly and leave no room for other interpretations. In this
paper, we define limits using category theory, and use the mentioned relations
between system behaviors explicitly. This resolves the problem of ambiguity in
a more controlled way. We introduce a category of prefix orders on executions
and partial history preserving maps between them to describe both discrete and
continuous branching time dynamics. We prove that in this category all
projective limits exist, and illustrate how ambiguity in the definition of
limits is resolved using an example. Moreover, we show how various problems
with known topological approaches are now resolved, and how the construction of
projective limits enables us to approximate continuous time dynamics as a
sequence of discrete time systems.Comment: In Proceedings EXPRESS/SOS 2013, arXiv:1307.690
Galois differential algebras and categorical discretization of dynamical systems
A categorical theory for the discretization of a large class of dynamical
systems with variable coefficients is proposed. It is based on the existence of
covariant functors between the Rota category of Galois differential algebras
and suitable categories of abstract dynamical systems. The integrable maps
obtained share with their continuous counterparts a large class of solutions
and, in the linear case, the Picard-Vessiot group.Comment: 19 pages (examples added
Organismic Supercategories and Qualitative Dynamics of Systems
The representation of biological systems by means of organismic supercategories, developed in previous papers, is further discussed. The different approaches to relational biology, developed by Rashevsky, Rosen and by Baianu and Marinescu, are compared with Qualitative Dynamics of Systems which was initiated by Henri Poincaré (1881). On the basis of this comparison some concrete results concerning dynamics of genetic system, development, fertilization, regeneration, analogies, and oncogenesis are derived
Dynamical systems and categories
We study questions motivated by results in the classical theory of dynamical
systems in the context of triangulated and A-infinity categories. First,
entropy is defined for exact endofunctors and computed in a variety of
examples. In particular, the classical entropy of a pseudo-Anosov map is
recovered from the induced functor on the Fukaya category. Second, the density
of the set of phases of a Bridgeland stability condition is studied and a
complete answer is given in the case of bounded derived categories of quivers.
Certain exceptional pairs in triangulated categories, which we call Kronecker
pairs, are used to construct stability conditions with density of phases. Some
open questions and further directions are outlined as well.Comment: 35 page
Organismic Supercategories: III. Qualitative Dynamics of Systems
The representation of biological systems by means of organismic supercategories, developed in previous papers, is further discussed. The different approaches to relational biology, developed by Rashevsky, Rosen and by Baianu and Marinescu, are compared with Qualitative Dynamics of Systems which was initiated by Henri Poincaré (1881). On the basis of this comparison some concrete results concerning dynamics of genetic system, development, fertilization, regeneration, analogies, and oncogenesis are derived
Nonlinear Models of Neural and Genetic Network Dynamics:\ud \ud Natural Transformations of Łukasiewicz Logic LM-Algebras in a Łukasiewicz-Topos as Representations of Neural Network Development and Neoplastic Transformations \ud
A categorical and Łukasiewicz-Topos framework for Algebraic Logic models of nonlinear dynamics in complex functional systems such as Neural Networks, Cell Genome and Interactome Networks is introduced. Łukasiewicz Algebraic Logic models of both neural and genetic networks and signaling pathways in cells are formulated in terms of nonlinear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable next-state/transfer functions is extended to a Łukasiewicz Topos with an N-valued Łukasiewicz Algebraic Logic subobject classifier description that represents non-random and nonlinear network activities as well as their transformations in developmental processes and carcinogenesis.\u
- …