Related papers: Algebraic Topology 2.0
We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…
Singularities play an important role in General Relativity and have been shown to be an inherent feature of most physically reasonable space-times. Despite this, there are many aspects of singularities that are not qualitatively or…
The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown…
We introduce a topology on the space of actions modulo weak equivalence finer than the one previously studied in the literature. We show that the product of actions is a continuous operation with respect to this topology, so that the space…
Topological simplification is the process of reducing complexity of a function while maintaining its essential features. Its goal is to find a new filter function, which reorders cells of the input complex in a way which eliminates some…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
The set theory relations \in, \backslash, \Delta, \cap, and \cup have corollaries in subspace relations. Geometric Algebra is introduced as the ideal framework to explore these subspace operations. The relations \in, \backslash, and \Delta…
Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps.…
We give new proofs for many injectivity results in analysis that make more careful use of the duality between unital abelian C*-algebras and compact Hausdorff spaces. We then extend many of these results to incorporate group actions. Our…
We introduce a new class of locally compact groups, namely the strongly compactly covered groups, which are the Hausdorff topological groups $G$ such that every element of $G$ is contained in a compact open normal subgroup of $G$. For…
The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert…
In many areas of applied geometric/numeric computational mathematics, including geo-mapping, computer vision, computer graphics, finite element analysis, medical imaging, geometric design, and solid modeling, one has to compute incidences,…
The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair…
A new category of topological spaces with additional structures, called m-towers, is introduced. It is shown that there is a covariant functor which establishes a one-to-one correspondences between unital (resp. arbitrary) subhomogeneous…
We describe an algebraic chain level construction that models the passage from an arbitrary topological space to its free loop space. The input of the construction is a categorical coalgebra, i.e. a curved coalgebra satisfying certain…