Related papers: FI-sets with relations

Many mathematical objects can be represented as functors from finitely-presented categories $\mathsf{C}$ to $\mathsf{Set}$. For instance, graphs are functors to $\mathsf{Set}$ from the category with two parallel arrows. Such functors are…

If H is a strongly regular hypergroup, we show that the set of regular relations on H and the set of subhypergroups containing $0_{H}$ are two lattices that are isomorphic to each other. In the next step, we introduce and study the…

We propose a notion of iterating functions $f:X^{k}\rightarrow X$ in a way that represents recurrence relations of the form $a_{n+k}=f(a_{n},a_{n+1},...,a_{n+k-1})$. We define a function as $n$-involutory when its $n$th iterate is the…

Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern. This is achieved as a special case of a more general construction in which we…

A space $X$ is "sequentially $n$-connected" at $x\in X$ if for every $0\leq k\leq n$ and sequence of maps $f_1,f_2,f_3,\dots:S^k\to X$ that converges toward a point $x\in X$, the maps $f_m$ contract by a sequence of null-homotopies that…

Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It…

Denote by $M_n$ the set of $n\times n$ complex matrices. Let $f: M_n \rightarrow [0,\infty)$ be a continuous map such that $f(\mu UAU^*)= f(A)$ for any complex unit $\mu$, $A \in M_n$ and unitary $U \in M_n$, $f(X)=0$ if and only if $X=0$…

Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…

In this paper we examine $n$-correlation for either the eigenvalues of a unitary group of random matrices or for the zeros of a unitary family of $L$-functions in the important situation when the correlations are detected via test functions…

Katz and Sarnak conjectured a correspondence between the $n$-level density statistics of zeros from families of $L$-functions with eigenvalues from random matrix ensembles. In many cases the sums of smooth test functions, whose Fourier…

The purpose of this paper is to give information on the FI-homology of the standard injective cogenerators of the category of FI-modules, where FI is the category of finite sets and injections. Working over a field k of characteristic zero,…

We study II_1 factors M and N associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result: every finite index M-N-bimodule (in…

A finite family $\mathcal{F}=\{f_1,\ldots,f_n\}$ of continuous selfmaps of a given metric space $X$ is called an iterated function system (shortly IFS). In a case of contractive selfmaps of a complete metric space is well-known that IFS has…

Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding…

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

Denote by $B_n$ the set of complex square matrices of order $n$, whose Euclidean operator norms are $<1$. Its Shilov boundary is the set $U(n)$ of all unitary matrices. A holomorphic map $B_m\to B_n$ is inner if it sends $U(m)$ to $U(n)$.…

The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures…

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…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

Let $I(X,R)$ be the incidence algebra of the preordered set $X$ over the ring $R$. In the case of a finite connected partially ordered set $X$, we prove that the subgroup of inner multiplicative automorphisms is a direct factor of the group…