Related papers: On Postnikov completeness for replete topoi
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the…
We study the twisted Novikov homology of the complement of a complex hypersurface in general position at infinity. We give a self-contained topological proof of the vanishing (except possibly in the middle degree) of the twisted Novikov…
The paper initiates a systematic study of Moebius structures and Ptolemy spaces. We conjecture that every compact Ptolemy space with circles and many space inversions is Moebius equivalent to the boundary at infinity of a rank one symmetric…
We determine the profinite completions of MV-algebras, and obtain a description that generalizes the well known profinite completions of Boolean algebras as the power sets of their Stone spaces. We also use the description found to…
We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly…
The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to…
Compact Hausdorff topological MV-algebras and Stone MV-algebras are completely characterized. We obtain that compact Hausdorff topological MV-algebras are product (both topological and algebraic) of copies $[0,1]$ with standard topology and…
Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…
On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends…
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univalent which means that identities and isomorphisms of objects…
We consider smooth completion of algebraic manifolds. Having some information about its singular completions or about completions of its images we prove purity of cohohomology of the set at infinity. We deduce also some topological…
In the first part of this article, we study linear cones over totally ordered fields. We show that for each such cone there uniquely exists a universal vector space (called its spanned vector space) into which it embeds as a generating…
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
We prove that the cyclic homology of a scheme with an ample line bundle coincides with the cyclic homology of its category of algebraic vector bundles. As a byproduct of the proof, we obtain a new construction of the Chern character of a…
Polynomial completeness results aim at characterizing those functions that are induced by polynomials. Each polynomial function is congruence preserving, but the opposite need not be true. A finite algebraic structure $\mathbf{A}$ is called…
In this work we study algebraic, geometric and topological properties of the Milnor classes of local complete intersections with arbitrary singularities. We describe first the Milnor class of the intersection of a finite number of…
By extending Koiso's examples to the non-compact case, we construct complete gradient Kahler-Ricci solitons of various types on certain holomorphic line bundles over compact Kahler-Einstein manifolds. Moreover, a uniformization result on…
The finite stable homotopy category S_0 has been suggested as a candidate for a category of perfect complexes over the monoid scheme Spec F_1. We apply a reconstruction theorem from algebraic geometry to S_0, and show that one recovers the…
We endow the set of persistence diagrams with the strong topology (the topology of countable direct limit of increasing sequence of bounded subsets considered in the bottleneck distance). The topology of the obtained space is described.…
We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…