Related papers: A remark on nearness spaces

We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of…

The Zorn's Algebra ZZ(R) has a multiplicative function called determinant with properties similar to the usual one. The set of elements in ZZ(R) with determinant 1 is a Moufang loop that we will denote by \GA. In our main result we prove…

We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in…

We introduce the notion of inductive category in a model category and prove that it agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-) pointed…

We show that a class of spaces of vector fields whose semi-norms involve the magnitude of "directional" difference quotients is in fact equivalent to the class of fractional Sobolev spaces. The equivalence can be considered a Korn-type…

Taking symmetric powers of varieties can be seen as a functor from the category of varieties to the category of varieties with an action by the symmetric group. We study a corresponding map between the Grothendieck groups of these…

The solution term by term to the scattering of all consistent string theories is given. The moduli space of M-theory is derived and connects the various string theories. The solutions contain both the perturbative and non-perturbative…

We derive results on the distribution of directions of saddle connections on translation surfaces using only the Birkhoff ergodic theorem applied to the geodesic flow on the moduli space of translation surfaces. Our techniques, together…

We introduce the notion of the "covering type" of a space, which is more subtle that the notion of Lusternik Schnirelman category. It measures the complexity of a space which arises from coverings by contractible subspaces whose non-empty…

Hereditary coreflective subcategories of an epireflective subcategory A of Top such that I_2\notin A (here I_2 is the 2-point indiscrete space) were studied in [C]. It was shown that a coreflective subcategory B of A is hereditary (closed…

The classical Serre-Swan's theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these…

We introduce a framework for Riemannian diffeology. To this end, we use the tangent functor in the sense of Blohmann and one of the options of a metric on a diffeological space in the sense of Iglesias-Zemmour. As a consequence, the…

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

We introduce the marked Brauer algebra and the marked Brauer category. These generalize the analogous constructions for the ordinary Brauer algebra to the setting of a homogeneous bilinear form on a $\mathbb{Z}_2$-graded vector space. We…

We prove an Induction Equivalence and a Kashiwara Equivalence for coadmissible equivariant D-modules on rigid analytic spaces. This allows us to completely classify such objects with support in a single orbit of a classical point with…

We prove that the KZ functor from a certain category of modules for the Cherednik algebra to finite dimensional modules over the Hecke algebra is essentially surjective. Then we begin to use this result to study the analog of category O for…

Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

In this note, the Zorn lemma is extended to arbitrary binary relations and thus the Zorn lemma can do for optimization when the transitivity is broken. Zorn's extended lemma can be used to prove existence theorems of generalized solution…