Related papers: Barr's Embedding Theorem for Enriched Categories
The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of…
The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of "truth values"), via an appropriate distributive law…
Let $Z$ be an affine algebraic variety and $X$ be a smooth flexible variety. We develop some criteria under which $Z$ admits a closed embedding into $X$. In particular, we show that if $X$ is isomorphic (as an algebraic variety) to a…
We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of…
A criterion for determining exactly when an order of a maximal subfield of a central simple algebra over a number field can be embedded into an order of this algebra is given. Various previous results have been generalized and recovered by…
In this paper we show that classical notions from automata theory such as simulation and bisimulation can be lifted to the context of enriched categories. The usual properties of bisimulation are nearly all preserved in this new context.…
We provide a variant of Baer's theorem about isomorphism of endomorphism rings of vector spaces over division rings, where the full endomorphism rings are replaced by some subrings of finitary maps.
The enhanced group classification of a semi-linear generalization of a general bond-pricing equation is carried out by employing the underlying equivalence and additional equivalence transformations. The knowledge of the sub classes with…
We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.
The article considers the Lorentz space $L_{p,\tau}(\mathbb{T}^{m})$, $2\pi$ of periodic functions of many variables and spaces with mixed logarithmic smoothness. Equivalent norms of a space with mixed logarithmic smoothness are found and…
In this paper, we introduce a new concept of generalized matrix rings and build up the general theory of radicals for g.m.rings. Meantime, we obtain $$\bar{r}_b(A)=g.m.r_b(A)=\sum\{r_b(A_{ij})\mid i, j\in I\}=r_b(A)$$
This is the eighth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VIII), we construct the braided…
In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment was used to define a generalization of inductive data types.…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize…
In this note, we aim to establish a number of embeddings between various function spaces that are frequently considered in the theory of Fourier series. More specifically, we give sufficient conditions for the embeddings $\Phi V[h]\subseteq…
Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras…
We provide a diagrammatic criterion for the existence of an absolute colimit in the context of enriched category theory.
In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.