Related papers: On the B\'enabou-Roubaud theorem

Bayesian methods - either based on Bayes Factors or BIC - are now widely used for model selection. One property that might reasonably be demanded of any model selection method is that if a model ${M}_{1}$ is preferred to a model ${M}_{0}$,…

We formulate a concrete geometric approximation hypothesis (Hypothesis~BB) asserting that codimension-$2$ Hodge classes on a smooth projective threefold can be realized as specializations of families whose general members are…

We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y…

By stating the adiabatic theorem of quantum mechanics in a clear and rigorous way, we establish a necessary condition and a sufficient condition for its validity, where the latter is obtained employing our recently developed adiabatic…

In this note we prove that the set of all uniformly continuous units on a product system over a C* algebra B can be endowed with the structure of left right B - B Hilbert module after identifying similar units by the suitable equivalence…

Continuous wavelet transforms arising from the quasiregular representation of a semidirect product of a vector group with a matrix group -- the so-called dilation group -- have been studied by various authors. Recently the attention has…

Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in…

It is well-known that for expansive maps and continuous potential functions, the specification property (for the map) and the Bowen property (for the potential) together imply the existence of a unique equilibrium state. We consider…

Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.

We show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. The resulting notion coincides with the usual definitions whenever all binary biproducts exist or the category is suitably…

We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which a particularly simple combination of Lambek's and the proof…

Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…

In a recent paper we introduced a new framework for the study of call by need computations to normal form and root-stable form in term rewriting. Using elementary tree automata techniques and ground tree transducers we obtained simple…

We prove an absolute Chow-Kuenneth decomposition for the motive of universal families A of abelian varieties over some compact Shimura surface. We furthermore prove the Hodge conjecture for general fibres of A, extending results of Ribet.

Two BPHZ convergence theorems are proved directly in Euclidean position space, without exponentiating the propagators, making use of the Cluster Convergence Theorem presented previously. The first theorem proves the absolute convergence of…

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

The Blaschke-Lebesgue Theorem states that among all planar convex domains of given constant width B the Reuleaux triangle has minimal area. It is the purpose of the present note to give a direct proof of this theorem by analyzing the…

We show that if $2k\geq n$, then a k-connected weak n-category $A$ can be ``delooped'' to a k+1-connected weak n+1-category $Y$ with $Hom_Y(y,y)\cong A$. This is the essential part of the ``stabilization hypothesis'' of Baez and Dolan…

Anzai skew-products are shown to be uniquely ergodic with respect to the fixed-point subalgebra if and only if there is a unique conditional expectation onto such a subalgebra which is invariant under the dynamics. For the particular case…

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.