Related papers: Completeness and injectivity
This paper focuses on a question raised by Holm and J{\o}rgensen, who asked if the induced cotorsion pairs $(\Phi({\sf X}),\Phi({\sf X})^{\perp})$ and $(^{\perp}\Psi({\sf Y}),\Psi({\sf Y}))$ in $\mathrm{Rep}(Q,{\sf{A}})$ -- the category of…
Building on \'Esik and Kuich's completeness result for finitely weighted Kleene algebra, we establish relational and language completeness results for finitely weighted Kleene algebra with tests. Similarly as \'Esik and Kuich, we assume…
For a finite-dimensional algebra {\Lambda}, we establish an explicit bijection between widely generated torsion(-free) classes and semibricks in mod {\Lambda}. Using the kappa order on the lattice of torsion classes with canonical join…
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…
We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…
We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…
Let $R,S$ be rings, $\mathcal{X}\subseteq \text{mod}$-$R$ a covariantly finite subcategory, $\mathcal{C}$ the smallest definable subcategory of $\text{Mod}$-$R$ containing $\mathcal{X}$ and $\mathcal{D}$ a definable subcategory of…
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…
In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…
We study the completeness of a metric which is related to the Bergman metric of a bounded domain. We provide a criterion for its completeness in the spirit of the Kobayashi criterion for the completeness of the Bergman metric. In particular…
The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when…
In this paper, we are interested in a class of modules partaking in the hierarchy of injective and cotorsion modules, so-called Harmanci injective modules, which turn out by the motivation of relations among the concepts of injectivity,…
In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes…
Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the…
We present a unified categorical framework that connects the syntactic Henkin construction for the first-order Completeness Theorem with Lawvere's Fixed-Point Theorem. Concretely, we define two canonical functors from the category of…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation,…
We study completeness of a topological vector space with respect to different filters on the set N of all naturals. In the metrizable case all these kinds of completeness are the same, but in non-metrizable case the situation changes. For…
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…
In this paper we provide a positive answer to a conjecture due to A. J. Di Scala, A. Loi, H. Hishi (see [3, Conjecture 1]) claiming that a simply-connected homogeneous K\"ahler manifold M endowed with an integral K\"ahler form $\mu\omega$,…