Related papers: Completeness and injectivity

In the paper where he defined the Cauchy completion of a $\mathscr{V}$-category, Lawvere also defined a condition on a $\mathscr{V}$-functor which made it analogous to a map of metric spaces whose image is topologically dense in its…

We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

In this article, we use the second intrinsic volume to define a metric on the space of homothetic classes of Gaussian bounded convex bodies in a separable real Hilbert space. Using kernels of hyperbolic type, we can deduce that this space…

Let R be a commutative noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the…

Let $\Gamma$ be a non-elementary Kleinian group and $H<\Gamma$ a finitely generated, proper subgroup. We prove that if $\Gamma$ has finite co-volume, then the profinite completions of $H$ and $\Gamma$ are not isomorphic. If $H$ has finite…

Suppose that $(\mathcal{F},\mathcal{M})$ is an injective structure of $R$-Mod such that the class $\mathcal{F}$ is closed for direct limits, then two modules in $\mathcal{M}$ are isomorphic if there are maps in $\mathcal{F}$ from each one…

Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method.…

Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hern\'andez Palomares and C. Jones, the authors defined a notion of Q-system completion for C*/W*…

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either…

We introduce completely bounded kernels taking values in L(A,B) where A and B are C*-algebras. We show that if B is injective such kernels have a Kolmogorov decomposition precisely when they can be scaled to be completely contractive, and…

Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M.…

We provide a full characterization of geodesic completeness for spaces of configurations of landmarks with smooth Riemannian metrics that satisfy a rotational and translation invariance and which are induced from metrics on subgroups of the…

In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in…

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…