Related papers: Colimit-Dense Subcategories

Let $\mathcal{A}$ be a Hom-finite additive Krull-Schmidt $k$-category where $k$ is an algebraically closed field. Let ${\rm mod} \mathcal{A}$ denote the category of locally finite dimensional $\mathcal{A}$-modules, that is, the category of…

Given an abelian category with arbitrary products, arbitrary coproducts, and a generator, we show that the closed subspaces (in the sense of A. L. Rosenberg) are parameterized by a suitably defined poset of ideals in the generator. In…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

Every symmetric generating functional of a convolution semigroup of states on a locally compact quantum group is shown to admit a dense unital $*$-subalgebra with core-like properties in its domain. On the other hand we prove that every…

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…

We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable…

A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets.…

We study cofinal systems of finite subsets of $\omega_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory,…

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

For an interval finite quiver $Q$, we introduce a class of flat representations. We classify the indecomposable projective objects in the category $\mathrm{rep}(Q)$ of pointwise finite dimensional representations. We show that an object in…

Let $G_1, \dots, G_k$ be finite-dimensional vector spaces over a prime field $\mathbb{F}_p$. Let $V$ be a variety inside $G_1 \times \cdots \times G_k$ defined by a multilinear map. We show that if $|V| \geq c |G_1| \cdots |G_k|$, then $V$…

The class of convex sets that admit approximations as Minkowski sum of a compact convex set and a closed convex cone in the Hausdorff distance is introduced. These sets are called approximately Motzkin-decomposable and generalize the notion…

In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…

In this paper, we explore when a locally finite triangulated category has dimension zero or finite representation type. We also study generation of derived categories by orthogonal subcategories.

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a…

Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below…

Solecki has shown that a broad natural class of $G_{\delta}$ ideals of compact sets can be represented through the ideal of nowhere dense subsets of a closed subset of the hyperspace of compact sets. In this note we show that the closed…