Related papers: Poly: An abundant categorical setting for mode-dep…
The paper is concerned with mechanical systems which are controlled by implementing a number of time-dependent, frictionless holonomic constraints. The main novelty is due to the presence of additional non-holonomic constraints. We develop…
We present a novel phenomenological theory describing how topological constraints in prime-knot ring polymers induce collective (cooperative) modes of motion. In low-complexity knots, chain segments can move quasi-independently. However, as…
In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…
Chronotaxic systems represent deterministic nonautonomous oscillatory systems which are capable of resisting continuous external perturbations while having a complex time-dependent dynamics. Until their recent introduction in \emph{Phys.…
A new approach to the construction of general persistent polyhierarchical classifications is proposed. It is based on implicit description of category polyhierarchy by a generating polyhierarchy of classification criteria. Similarly to…
We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Working in the context of natural models of type theory, we prove…
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric…
We study the multi-scale description of large-time collective behavior of agents driven by alignment. The resulting multi-flock dynamics arises naturally with realistic initial configurations consisting of multiple spatial scaling, which in…
Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…
We define the monoidal category $(Poly_E,y,\triangleleft)$ of polynomials under composition in any category $E$ with finite limits, including both cartesian and vertical morphisms of polynomials, and generalize to this setting the Dirichlet…
This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed…
A simple weakly frequency dependent model for the dynamics of a population with a finite number of types is proposed, based upon an advantage of being rare. In the infinite population limit, this model gives rise to a non-smooth dynamical…
Swimmers and self-propelled particles are physical models for the collective behaviour and motility of a wide variety of living systems, such as bacteria colonies, bird flocks and fish schools. Such artificial active materials are amenable…
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
This work concerns a many-body deterministic model that displays life-like properties as emergence, complexity, self-organization, spontaneous compartmentalization, and self-regulation. The model portraits the dynamics of an ensemble of…
The complexity of many biological, social and technological systems stems from the richness of the interactions among their units. Over the past decades, a great variety of complex systems has been successfully described as networks whose…
We generalize the exact solution to the Bernoulli shift map. Under certain conditions, the generalized functions can produce unpredictable dynamics. We use the properties of the generalized functions to show that certain dynamical systems…
Active particle systems are a class of non-equilibrium systems composed of self-propelled Brownian particles; through interactions between particles within the system, a variety of intriguing collective behaviors can emerge. Based on…
A new theory for dynamics of concentrated colloidal suspensions and the colloidal glass transition is proposed. The starting point is the memory function representation of the density correlation function. The memory function can be…
Establishing the existence of periodic orbits is one of the crucial and most intricate topics in the study of dynamical systems, and over the years, many methods have been developed to this end. On the other hand, finding closed orbits in…