Related papers: Not every gamma-set is strongly meager

In this article we derive a complete classification of all submanifolds in space forms with codimension two for which the Gauss map is homothetic.

This is a short note on generalized $G_2$-structures obtained as a consequence of a $T$-dual construction given in a previous work of the authors together with Leonardo Soriani. Given classical $G_2$-structure on certain seven dimensional…

We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…

We study positive bilinear forms on a Hilbert space which are neither not necessarily bounded nor induced by some positive operator. We show when different families of bilinear forms can be described as a generalized effect algebra. In…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

We prove formal GAGA for good moduli space morphisms under an assumption of "enough vector bundles" (which holds for instance for quotient stacks). This supports the philosophy that though they are non-separated, good moduli space morphisms…

Clusters of galaxies and the large scale filaments that connect neighboring clusters are expected to be sites of acceleration of charged particles and sources of non-thermal radiation from radio frequencies to gamma rays. Gamma rays are…

We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.

Gamma-ray binaries are X-ray binaries with gamma-ray emissions. Their multi-wavelength emissions range from radio, optical, X-ray and to very high energy (TeV). X-ray emissions are crucial to understand the nature of gamma-ray binaries.…

For every countable group $G$, there are $2^{\omega}$ distinct classes of coarsely equivalent subsets of $G$.

This paper introduces the concept of a generating set for stochastic matrices -- a subset of matrices whose repeated composition generates the entire set. Understanding such generating sets requires specifying the "indivisible elements" and…

We define a mapping space for Gray-enriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential…

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension…

We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.

On a smooth manifold M, generalized complex (generalized paracomplex) structures provide a notion of interpolation between complex (paracomplex) and symplectic structures on M. Given a complex manifold (M,j), we define six families of…

We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…

We randomly construct various subsets $\Lambda$ of the integers which have both smallness and largeness properties. They are small since they are very close, in various meanings, to Sidon sets: the continuous functions with spectrum in…

We continue the study of how one can define means of infinite sets. We introduce many new properties, investigate their relations to each other and how they can typify a mean. We collect the properties in property groups e.g. for…

J. G. Thompson showed that a finite group G is solvable if and only if every two -generated subgroup is solvable. Recently, Grunevald, Kunyavskii, Nikolova, and Plotkin have shown that the analogue holds for finite-dimensional Lie algebras…