Related papers: Enriched factorization systems
In the past decade, matrix factorization has been extensively researched and has become one of the most popular techniques for personalized recommendations. Nevertheless, the dot product adopted in matrix factorization based recommender…
It has been recently observed that fundamental aspects of the classical theory of factorization can be greatly generalized by combining the languages of monoids and preorders. This has led to various theorems on the existence of certain…
We introduce Bayesian multi-tensor factorization, a model that is the first Bayesian formulation for joint factorization of multiple matrices and tensors. The research problem generalizes the joint matrix-tensor factorization problem to…
From the integration of non-symmetrical hyperboles, a one-parameter generalization of the logarithmic function is obtained. Inverting this function, one obtains the generalized exponential function. We show that functions characterizing…
We show that the tensor product of $\infty$-categories enriched in a suitable monoidal $\infty$-category preserves colimits in each variable, fixing a mistake in an earlier paper of Gepner and the author. We also prove that essentially…
Let $X$ be a Banach space with a basis $(e_k)_k$ and biorthogonals $(e^\ast_k)_k$. An operator on $X$ is said to have a $\textit {large diagonal}$ if $\inf\limits_{k} |e_k^\ast(T(e_k))| > 0$. The basis $(e_k)_k$ is said to have the $\textit…
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its scalability (unlike Damas-Milner type inference, bidirectional typing remains decidable even for very…
In light of recent data science trends, new interest has fallen in alternative matrix factorizations. By this, we mean various ways of factorizing particular data matrices so that the factors have special properties and reveal insights into…
We study factorizations of operator valued functions of weighted Schur classes over multiply-connected domains. There is a correspondence between functions from weighted Schur classes and so-called ``conservative curved'' systems introduced…
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…
We present a construction of stable diagonal factorizations, used to define categorical models of type theory with identity types, from a family of algebraic weak factorization systems on the slices of a category. Inspired by a…
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…
Starting from a linear fractional representation of a linear system affected by constant parametric uncertainties, we demonstrate how to enhance standard robust analysis tests by taking available (noisy) input-output data of the uncertain…
Following Lawvere's description of metric spaces using enriched category theory, we introduce a change in the base of enrichment that allows description of some aspects of (relativistic) causal spaces. All such spaces are Cauchy complete,…
We consider a joint ordered multifactorisation for a given positive integer $n\geq 2$ into $m$ parts, where $n=n_1~\times~\ldots~\times~n_m$, and each part $n_j$ is split into one or more component factors. Our central result gives an…
We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We…
We prove a version of Grothendieck's descent theorem on an `enriched' principal fiber bundle, a principal fiber bundle with an action of a larger group scheme. Using this, we prove the isomorphisms of the equivariant Picard and the class…
Matrix factorization is a fundamental method in statistics and machine learning for inferring and summarizing structure in multivariate data. Modern data sets often come with "side information" of various forms (images, text, graphs) that…
Factorization, in the sense defined for inclusive hard scattering, is discussed for diffractive hard scattering. A factorization theorem similar to its inclusive counterpart is presented for diffractive DIS. For hadron-hadron diffractive…
We want to construct a homological link invariant whose Euler characteristic is MOY polynomial as Khovanov and Rozansky constructed a categorification of HOMFLY polynomial. The present paper gives the first step to construct a…