Related papers: Poincar\'e maps and suspension flows: a categorica…

The long-time behavior is one of the most fundamental properties of dynamical systems. Poincar\'e studied the Poisson stability to capture the property of whether points return arbitrarily near the initial positions. Birkhoff studied the…

We obtain multirelative connectivity statements about spaces of Poincare embeddings, as precursors to analogous statements about spaces of smooth embeddings. The latter are the key to convergence results in the functor calculus approach to…

A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…

Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and \'{e}tale maps (i.e., local diffeomorphisms) consistent with…

For a generic vector field robustly without horseshoes, and an aperiodic chain recurrent class with singularities whose saddle values have different signs, the extended rescaled Poincar\'e map is associated with a central model. We estimate…

We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called…

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

The Poincar\'e-Bendixson theorem plays an important role in the study of the qualitative behavior of dynamical systems on the plane; it describes the structure of limit sets in such systems. We prove a version of the Poincar\'e-Bendixson…

Many questions at the core of graph theory can be formulated as questions about certain group-valued flows: examples are the cycle double cover conjecture, Berge-Fulkerson conjecture, and Tutte's 3-flow, 4-flow, and 5-flow conjectures. As…

We propose a new framework for the study of continuous time dynamical systems on networks. We view such dynamical systems as collections of interacting control systems. We show that a class of maps between graphs called graph fibrations…

Bifurcations in a system of coupled maps are investigated. Using symbolic dynamics it is proven that for coupled shift maps the well known space--time--mixing attractor becomes unstable at a critical coupling strength in favour of a…

This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…

In this paper we prove the following topological classification result for flows on real projective space induced by linear flows on Euclidean space: Two flows on the projective space P(V) of a finite-dimensional real vector space V,…

This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…

The articulation process of dynamical networks is studied with a functional map, a minimal model for the dynamic change of relationships through iteration. The model is a dynamical system of a function $f$, not of variables, having a…

Near-integrability is usually associated with smooth small perturbations of smooth integrable systems. Studying integrable mechanical Hamiltonian flows with impacts that respect the symmetries of the integrable structure provides an…

Piecewise-linear maps describe dynamical phenomena that switch between distinct states and readily generate complex bifurcation structures due to their strong nonlinearity. We show that two-dimensional continuous piecewise-linear maps near…

A class of parametric functions formed by alternating compositions of multivariate polynomials and rectification style monomial maps is studied (the layer-wise exponents are treated as fixed hyperparameters and are not optimized). For this…

We study a generalization of the Svarc genus of a fiber map. For an arbitrary collection E of spaces and a map f:X-->Y, we define a numerical invariant, the E-sectional category of f, in terms of open covers of Y. We obtain several basic…

We use the framework of "props" to study electrical circuits, signal-flow diagrams, and bond graphs. A prop is a strict symmetric monoidal category where the objects are natural numbers, with the tensor product of objects given by addition.…