Related papers: Yosida Duality

We show that for a minimal, second countable, locally compact Hausdorff \'etale groupoid whose unit space is homeomorphic to the Cantor set, if the groupoid has comparison then the commutator subgroup of its full group is simple. This…

In this note we shall generalize the Stone duality between compact totally disconnected spaces and Boolean algebras to a duality between all complete non-Archimedean uniform spaces and Boolean algebras.

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

A Lusin space is a Hausdorff space being the image of a Polish space under a continuous bijection. Such spaces have multiple applications, in particular, as state spaces of various stochastic systems. In this work, we consider the spaces…

We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…

We consider the category of all locally Lipschitz contractible metric spaces and all locally Lipschitz maps, which is a wide class of metric spaces, including all finite dimensional Alexandrov spaces and all CAT spaces. We also consider the…

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…

Assume hat a functionally Hausdorff space $X$ is a continuous image of a \v{C}ech complete space $P$ with Lindel\"of number $l(P)<\mathfrak c$. Then the following conditions are equivalent: (i) every compact subset of $X$ is scattered, (ii)…

We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into…

A differential form defined on a Riemannian manifold is said to harmonic if it is closed and co-closed. Harmonic differential forms are a natural multi-dimensional extension of the concept of analytic function of complex variable. In this…

Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…

The "weakly Hausdorff" property for pseudoradial spaces fails to be naturally characterized by unique convergence of transfinite sequences. In response, we develop the category $\mathbf{SPsRad}$ of strongly pseudoradial spaces, compactly…

We prove two results related to the Schwarz lemma in complex geometry. First, we show that if the inequality in the Schwarz lemmata of Yau, Royden and Tosatti becomes equality at one point, then the equality holds on the whole manifold. In…

Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…

Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.

We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable.