相关论文: There is no monad based on Hartman-Mycielski funct…

We investigate some topological properties of a normal functor $H$ introduced earlier by Radul which is a certain functorial compactification of the Hartman-Mycielski construction $HM$. We show that $H$ is open and find the condition when…

We investigate some topological properties of a normal functor $H$ introduced earlier by Radul which is some functorial compactification of the Hartman--Mycielski construction HM. We prove that the pair ($HX$, HM$Y$) is homeomorphic to the…

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

Hartle and Srednicki have argued that there is no observational evidence favoring our typicality. Here it is shown that such evidence does arise from including the `normalization principle' requirement that the sum of the likelihoods for…

We prove a number of results of the following common flavor: for a category $\mathcal{C}$ of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or…

In 2002 Polterovich has notably established that on closed aspherical symplectic manifolds, Hamiltonian diffeomorphisms of finite order, which we call Hamiltonian torsion, must in fact be trivial. In this paper we prove the first…

We consider structure formation in a nonlocal, metric-based realization of Milgrom's MOdified Newtonian Dynamics (MOND). We derive the general equations for linearized scalar perturbations about the $\Lambda$CDM expansion history. These…

This paper is the first step in a general program for defining cocalculus towers of functors via sequences of compatible monads. Goodwillie's calculus of homotopy functors inspired many new functor calculi in a wide range of contexts in…

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…

We continue the analysis of the geometry of generic Minkowski $\mathcal{N} = 1$, $D = 4$ flux compactifications in M-theory using exceptional generalised geometry, including the calculation of the infinitesimal moduli spaces. The…

We answer a question of Piotr Minc by proving that there is no compact metrizable space whose set of components contains a unique topological copy of every metrizable compactification of a ray (i.e. a half-open interval) with an arc (i.e.…

Assuming G\"odel's axiom of constructibility $V=L$, we construct a $\chi$-free abelian group $G$ of singular cardinality for some suitable cardinal $\chi$ which is regular and uncountable, equipped with the property that for every…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

Given a monad $T$ on $\mathscr{A}$ and a functor $G \colon \mathscr{A} \to \mathscr{B}$, one can construct a monad $G_\#T$ on $\mathscr{B}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We…

It is well-known that non-constant holomorphic functions do not exist on a compact complex manifold. This statement is false for a supermanifold with a compact reduction. In this paper we study the question under what conditions…

We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild…

We prove that any right Quillen functor between arbitrary model categories admits non trivial functorial factorizations that are similar to those of a model structure. We also prove that these factorizations can be made for lax monoidal…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

In this paper we further investigate the geometry of monads of order-preserving functionals and of positively homogeneous functionals. We prove that for any compactum X with $w(X) = \tau$ the map $\mu_F X$, where $F\in\{O,OH\}$, is…

Using the method of decisive creatures (math.LO/0601083) we show the consistency of "there is no increasing omega_2 --chain of Borel sets and non(N)=non(M)= omega_2=2^omega". Hence, consistently, there are no monotone hulls for the ideal M…