Related papers: Barr's Embedding Theorem for Enriched Categories
In this research, we improve upon the current state of the art in entity retrieval by re-ranking the result list using graph embeddings. The paper shows that graph embeddings are useful for entity-oriented search tasks. We demonstrate…
By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…
The validity of the Addition Theorem for algebraic entropies $\ent_L$ induced by non-discrete length functions $L$ on the category of locally $L$-finite modules over arbitrary rings is proved. Concrete examples of non-discrete length…
Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…
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 construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the…
The extension of the Campbell-Magaard embedding theorem to general relativity with minimally-coupled scalar fields is formulated and proven. The result is applied to the case of a self-interacting scalar field for which new embeddings are…
In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This…
We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
A unified version of Machado-Bishop theorem in weighted spaces is given. A number of applications illustrate its importance.
We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…
We amalgamate two generalizations of Ramsey's Theorem--Ramsey classes and the Erd\H{o}s-Rado Theorem--into the notion of a combinatorial Erd\H{o}s-Rado class. These classes are closely related to Erd\H{o}s-Rado classes, which are those from…
An embedding is a function that maps entities from one algebraic structure into another while preserving certain characteristics. Embeddings are being used successfully for mapping relational data or text into vector spaces where they can…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
Embedding words in high-dimensional vector spaces has proven valuable in many natural language applications. In this work, we investigate whether similarly-trained embeddings of integers can capture concepts that are useful for mathematical…
Working within enriched category theory, we further develop the use of soundness, introduced by Ad\'amek, Borceux, Lack, and Rosick\'y for ordinary categories. In particular we investigate: (1) the theory of locally $\Phi$-presentable…
Hahn's embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn's theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
This paper evaluates existing and newly proposed answer selection methods based on pre-trained word embeddings. Word embeddings are highly effective in various natural language processing tasks and their integration into traditional…