Related papers: A Taxonomy of Morphic Sequences
The simple symplectic triple systems over the real numbers are classified up to isomorphism, and linear models of all of them are provided. Besides the split cases, one for each complex simple Lie algebra, there are two kinds of non-split…
Let $(s_2(n))_{n\in \mathbb{N}}$ be a $0,1$-sequence such that, for any natural number $n$, $s_2(n) = 1$ if and only if $n$ is a sum of two squares. In a recent article, Tahay proved that the sequence $(s_2(n))_{n\in \mathbb{N}}$ is not…
Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…
A sequence $D=(d_1,d_2,\ldots,d_n)$ of non-negative integers is called a graphic sequence if there is a simple graph with vertices $v_1,v_2,\ldots,v_n$ such that the degree of $v_i$ is $d_i$ for $1\leq i\leq n$. Given a graph theoretical…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
This paper describes a class of sequences that are in many ways similar to Fibonacci sequences: given n, sum the previous two terms and divide them by the largest possible power of n. The behavior of such sequences depends on n. We analyze…
We consider a variant on the Tetranacci sequence, where one adds the previous four terms, then divides the sum by two until the result is odd. We give an algorithm for constructing "initially division-poor" sequences, where over an initial…
This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined…
Given an arbitrary long but finite sequence of observations from a finite set, we construct a simple process that approximates the sequence, in the sense that with high probability the empirical frequency, as well as the empirical one-step…
In this paper, we develop the theory of symmetric triads with multiplicities. First, we classify abstract symmetric triads with multiplicities. Second, we determine the symmetric triads with multiplicities corresponding to commutative…
In this note, finite type epimorphisms of rings are characterized.
We describe two types of localization for $(\infty, 1)$-categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.
We study homomorphisms of Hecke monoids, notably parabolic homomorphisms, which map parabolic elements to parabolic elements, and injective ones. The importance of the first class stems from the fact that parabolic elements form a rather…
Let S be an arbitrary scheme. We define biextensions of 1-motives by 1-motives which we see as the geometrical origin of morphisms from the tensor product of two 1-motives to a third one. If S is the spectrum of a field of characteristic 0,…
We define and study the categorical sequence of a space, which is a new formalism that streamlines the computation of the Lusternik-Schnirelmann category of a space X by induction on its CW skeleta. The k-th term in the categorical sequence…
Morphic words are letter-to-letter images of fixed points $x$ of morphisms on finite alphabets. There are situations where these letter-to-letter maps do not occur naturally, but have to be replaced by a morphism. We call this a decoration…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties.
We study functions which are the pointwise limit of a sequence of holomorphic functions. In one complex variable this is a classical topic, though we offer some new points of view and new results. Some novel results for solutions of…
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…