Related papers: Relative monadicity
Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they…
A collection of integer sequences is jointly ergodic if for every ergodic measure preserving system the multiple ergodic averages, with iterates given by this collection of sequences, converge in the mean to the product of the integrals. We…
We derive a relativistic extension of Modified Newtonian Dynamics (MOND) within the framework of entropic gravity by introducing temperature-dependent corrections to the equipartition law on a holographic screen. Starting from a Debye-like…
Given the action of a group $G$ on a set $ X $ , the set of $ G $ -equivariant functions, those that commute with the action, i.e., $ f(g \cdot x) = g \cdot f(x) $ for all $ x \in X $ , $ g \in G $ , forms a monoid under function…
Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products,…
In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a…
Given an integral domain $A$, a monic polynomial $P$ of degree $n$ with coefficients in $A$ and a divisor $p$ of $n$, invertible in $A$, there is a unique monic polynomial $Q$ such that the degree of $P-Q^{p}$ is minimal for varying $Q$.…
The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…
We mainly establish a monotonicity property between some special Riemann sums of a convex function $f$ on $[a,b]$, which in particular yields that $\frac{b-a}{n+1}\sum_{i=0}^n f\left(a+i\frac{b-a}{n}\right)$ is decreasing while…
The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of…
It follows from a theorem of Lov\'asz that if $ D $ is a finite digraph with $ r\in V(D) $ then there is a spanning subdigraph $ E $ of $ D $ such that for every vertex $ v\neq r $ the following quantities are equal: the local connectivity…
A subset $S$ of an integral domain $R$ is called a semidomain if the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities; additionally, we say that $S$ is additively reduced provided that $S$ contains no additive inverses. Given…
Given a monoidal category $\mathscr{C}$ with an object $J$, we construct a monoidal category $\mathscr{C}[J^{\vee}]$ by freely adjoining a right dual $J^{\vee}$ to $J$. We show that the canonical strong monoidal functor $\Omega :…
It has long been postulated that within density-functional theory (DFT) the total energy of a finite electronic system is convex with respect to electron count, so that 2 E_v[N_0] <= E_v[N_0 - 1] + E_v[N_0 + 1]. Using the…
Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…
The joint convexity of the map $(X,A) \mapsto X^* A^{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace…
We show that there is weak distributive law of the Smyth hyperspace monad $\mathcal Q_{\mathsf V}$ (resp., the Hoare hyperspace monad $\mathcal H_{\mathsf V}$, resp. the monad $\mathcal P\ell^{\mathrm q}_{\mathsf V}$ of quasi-lenses, resp.…
We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated…