Related papers: Remarks on Hyperspaces for Priestley Spaces
Multi-step reasoning remains a central challenge for large language models: single-pass generation is efficient but lacks accuracy; tree-search methods explore multiple paths but are computation-heavy. We address this gap by distilling…
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other…
In the present paper we develop a framework in which questions of quantum ergodicity for operators acting on sections of hermitian vector bundles over Riemannian manifolds can be studied. We are particularly interested in the case of…
The tools and arguments developed by Kevin Costello are adapted to families of "Outer Spaces" or spaces of graphs. This allows us to prove a version of Deligne's conjecture: the Harrison homology associated to a homotopy commutative algebra…
The area of research called \textquotedblleft Lineability\textquotedblright% \ looks for linear structures inside exotic subsets of vector spaces. In the last decade lineability/spaceability has been investigated in rather general settings;…
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…
This paper presents a study of separation axioms and sobriety of bitopological spaces from the point of view of fuzzy topology via identifying bitopological spaces with topological spaces valued in the Boolean algebra of four elements. A…
We construct and study an $H$-space multiplication on $\mathcal R^+(M)$ for manifolds $M$ which are nullcobordant in their own tangential $2$-type. This is applied to give a rigidity criterion for the action of the diffeomorphism group on…
We recast the tools of ``global causal analysis'' in accord with an approach to the subject animated by two distinctive features: a thoroughgoing reliance on order-theoretic concepts, and a utilization of the Vietoris topology for the space…
We study the behavior of the Gieseker space of semistable torsion-free sheaves of rank r and fixed c_1, c_2 on a non-singular projective surface as the polarization varies. It is shown that the ample cone admits a locally finite chamber…
Trying to be effective (no matter who exactly and in what field) a person face the problem which inevitably destroys all our attempts to easily get to a desired goal. The problem is the existence of some insuperable barriers for our mind,…
The moduli space of parabolic bundles with fixed determinant over a smooth curve of genus greater than one is proved to be rational whenever one of the multiplicities associated to the quasi-parabolic structure is equal to one. It follows…
The method of intersection spaces associates rational Poincar\'e complexes to singular stratified spaces. For a conifold transition, the resulting cohomology theory yields the correct count of all present massless 3-branes in type IIB…
The fundamental axioms of the quantum theory do not explicitly identify the algebraic structure of the linear space for which orthogonal subspaces correspond to the propositions (equivalence classes of physical questions). The projective…
Both algebraic and computational approaches for dealing with similarity spaces are well known in generalized rough set theory. However, these studies may be said to have been confined to particular perspectives of distinguishability in the…
A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We compute small rational models for configuration spaces of points on oriented surfaces, as right modules over the framed little disks operad. We do this by splitting these surfaces in unions of several handles. We first describe rational…
Spaces equipped with congruences of null strings are considered. A special attention is paid to the spaces which belong to the two-sided Walker class and para-K\"ahler class. Properties of an intersection of self-dual and anti-self-dual…
Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules,…