Related papers: A very general covering property
These lecture notes explain the construction and basic properties of the wonderful compactification of a complex semisimple group of adjoint type. An appendix discusses the more general case of a semisimple symmetric space.
Multisets are sets that allow repetition of elements. As such, multisets pave the way to a number of interesting possibilities of theoretical and applied nature. In the present work, after revising the main aspects of traditional sets, we…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
Lindel\"of spaces are studied in any basic Topology course. However, there are other interesting covering properties with similar behaviour, such as almost Lindel\"of, weakly Lindel\"of, and quasi-Lindel\"of, that have been considered in…
For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice"…
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
A locally compact groupoid is said to have the weak containment property if its full $C^*$-algebra coincides with its reduced one. This property is strictly weaker than amenability and is known to be equivalent to amenability for…
Partial descriptions of the Universe are presented in the form of linear equations considered in the free (full, super) Fock space. The universal properties of these equations are discussed. The closure problem caused by computational and…
This paper extends the Lebesgue property and (weak) $G$-completeness to generalized quasi-uniform spaces. It investigates the connections between completeness, (weak) $G$-completeness, and the Lebesgue property of the product of generalized…
We study the compactness problem for moduli spaces of holomorphic supercurves which, being motivated by supergeometry, are perturbed such as to allow for transversality. We give an explicit construction of limiting objects for sequences of…
We introduce the notions of almost positively closed models and positive strong amalgamation property. We study the fundamental properties of these notions and develop some interactions between them.
We give criteria for subcategories of a compactly generated algebraic triangulated category to be precovering or preenveloping. These criteria are formulated in terms of closure conditions involving products, coproducts, directed homotopy…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications.…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations on a category A in the category of categories over A are studied; in particular, the reflections and the coreflections of the latter in the…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on…
We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these…
The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of…