Related papers: A Taxonomy of Morphic Sequences

A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…

We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We…

We provide an ergodic theory framework to study statistical properties of smooth sequences over the odd alphabet {1, 3}. The arithmetic nature of this alphabet yields a partition of the subshift of smooth sequences based on their local…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

A $k$-modal sequence is a sequence of real numbers that can be partitioned into $k+1$ (possibly empty) monotone sections such that adjacent sections have opposite monotonicities. For every positive integer $k$, we prove that any sequence of…

First we define a new kind of function over $\mathbb{N}$. For each $i\in\mathbb{N}$ we have an associated function, which will be called $S_i$ . Then we define a new kind of sequence, to be made from the functions $S_i$ . Finally, we will…

We characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence…

We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…

Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…

Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms…

We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is…

We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences…

The concept of unique normal form is formulated in terms of a spectral sequence. As an illustration of this technique some results of Baider and Churchill concerning the normal form of the anharmonic oscillator are reproduced. The aim of…

We define recurrence matrices and study a few properties (links with automatic sequences, branch groups etc.) of them.

We define the topological complexity sequence of a group as the sequence of topological complexities of its Milnor constructions. This sequence may be regarded as an intrinsic refinement of the topological complexity of a group and, unlike…

A graph is called primitive if its automorphism group acts primitively on the vertex set. In this paper, we prove a classification of the possible distance sequences of locally infinite primitive graphs. In particular we show that if a…

We study asymmetric regular types. If $\frak p$ is regular and $A$-asymmetric then there exists a strict order such that Morley sequences in $\frak p$ over $A$ are strictly increasing (we allow Morley sequences to be indexed by elements of…

We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of…