Related papers: On the B\'enabou-Roubaud theorem
We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…
A proof of Bell's theorem without inequalities is presented which exhibits three remarkable properties: (a) reduced local states are immune to collective decoherence; (b) distant local setups do not need to be aligned, since the required…
We study the property of \emph{continuous Castelnuovo-Mumford regularity}, for semihomogeneous vector bundles over a given Abelian variety, which was formulated in \cite{Kuronya:Mustopa:2020} by K\"{u}ronya and Mustopa. Our main result…
Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by…
Proven-in-use arguments are needed when pre-developed products with an in-service history are to be used in different environments than those they were originally developed for. A product may include software modules or may be stand-alone…
In a recent preprint, Gullerud and Walker [2] proved a theorem and made a conjecture about the correctness of efficiently generating B\'ezout trees for Pythagorean pairs. In this note, we give a simple proof of their theorem, confirm that…
A foundational theorem of Laudenbach and Po\'enaru states that any diffeomorphism of $\#^n(S^1\times S^2)$ extends to a diffeomorphism of $\natural^n(S^1\times B^3)$. We prove a generalization of this theorem that accounts for the presence…
We study some topics about \L o\'s's theorem without assuming the Axiom of Choice. We prove that \L o\'s's fundamental theorem of ultraproducts is equivalent to a weak form that every ultrapower is elementary equivalent to its source…
We prove some analogues of Schur's lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero. Let $E$ be an extension of $A$ by $B$ in…
We characterize the normal extensions of inverse semigroups isomorphic to full restricted semidirect products, and present a Kalouznin-Krasner theorem which holds for a wider class of normal extensions of inverse semigroups than that in the…
Let $G$ be a split $p$-adic reductive group with connected centre and simply connected derived subgroup. We show that certain "chains" of principal series of $G$ do not exist and we establish several properties of the Breuil-Herzig…
We present an elementary, $L^2,$ proof of Fedi\u{\i}'s theorem on arbitrary (e.g., infinite order) degeneracy and extensions. In particular, the proof allows and shows $C^\infty,$ Gevrey, and real analytic hypoellipticity, and allows the…
We prove an explicit uniform Chevalley theorem for direct summands of graded polynomial rings in mixed characteristic. Our strategy relies on the introduction of a new type of differential powers, which do not require the existence of a…
According to Bell's theorem a large class of hidden-variable models obeying Bell's notion of local causality conflict with the predictions of quantum mechanics. Recently, a Bell-type theorem has been proven using a weaker notion of local…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
We obtain a reduction of the vectorial Ribaucour transformation that preserves the class of submanifolds of constant sectional curvature of space forms, which we call the $L$-transformation. It allows to construct a family of such…
The adiabatic theorem refers to a setup where an evolution equation contains a time-dependent parameter whose change is very slow, measured by a vanishing parameter $\epsilon$. Under suitable assumptions the solution of the…
We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…
We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking…
We give a complete characterization of the line bundles on a proper variety whose tensor powers generate the derived category, answering a 2010 question of Chris Brav. The condition is analogous to the Nakai--Moishezon criterion and can be…