Related papers: A Note on "Extensional PERs"
An extended derivation (endomorphism) of a (restricted) Lie algebra $L$ is an assignment of a derivation (respectively) of $L'$ for any (restricted) Lie morphism $f:L\to L'$, functorial in $f$ in the obvious sense. We show that (a) the only…
This paper gives an algebraic characterization of expansive actions of countable abelian groups on compact abelian groups. This naturally extends the classification of expansive algebraic $\mathbb{Z}^d$-actions given by Schmidt using…
An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…
In this paper, we establish a Minkowski-type inequality for weak Lebesgue space, which allows us to obtain a characterization of relative compactness in these spaces. Furthermore, we are the first to investigate the compactness results of…
A full coupled-cluster expansion suitable for sparse algebraic operations is developed by expanding the commutators of the Baker-Campbell-Hausdorff series explicitly for cluster operators in binary representations. A full coupled-cluster…
We show that a relatively ergodic extension of measure-preserving dynamical systems has relative discrete spectrum if and only if it can be represented as a skew-product by a bundle of compact homogeneous spaces. Our result holds without…
Existentially closed groups are, informally, groups that contain solutions to every consistent finite system of equations and inequations. They were introduced in 1951 in an algebraic context and subsequent research elucidated deep…
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…
We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…
We formulate and prove in this report some sufficient conditions for exponential tightness (ET) of a family of independent identical distributed (i.i.d.) random fields (r.f.) (processes) in the space of continuous functions defined on…
We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…
Given a compact of ${\bf R}^n$, there is always a doubling measure having it as its support. We use this fact to construct an integral operator that extends differentiable functions defined on any compact set of ${\bf R}^n$ to the whole of…
We present new completeness conditions for exponential systems on the complex plane in Banach algebras of continuous functions on a compact with a connected complement that are simultaneously holomorphic in the interior of this compact if…
We construct and study a functorial extension of the evaluation map $S^1 \times \mathcal{L} X \to X$ to transfers along finite covers. For finite covers of classifying spaces of finite groups, we provide algebraic formulas for this…
For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order…
We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive…
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…
We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…
We provide new methods to straightforwardly obtain compact and analytic expressions for epsilon-expansions of functions appearing in both field and string theory amplitudes. An algebraic method is presented to explicitly solve for…
Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…