相关论文: Definable (co)homology, pro-torus rigidity, and (c…

This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…

We generalize some of the fundamental results of algebraic topology from topological spaces to \v{C}ech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct…

We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology…

We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the…

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…

On the category of compact metric spaces an exact homology theory was defined and its relation to the Vietoris homology theory was studied by N. Steenrod [S]. In particular, the homomorphism from the Steenrod homology groups to the Vietoris…

We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A…

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection…

In this paper, we build up a scaled homology theory, $lc$-homology, for metric spaces such that every metric space can be visually regarded as "locally contractible" with this newly-built homology. We check that $lc$-homology satisfies all…

This paper discusses the development of synthetic cohomology in Homotopy Type Theory (HoTT), as well as its computer formalisation. The objectives of this paper are (1) to generalise previous work on integral cohomology in HoTT by the…

The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…

The purpose of this article is to relate coarse cohomology of metric spaces with a more computable cohomology. We introduce a notion of boundedly supported cohomology and prove that coarse cohomology of many spaces are isomorphic to the…

We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general…

Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we…

Homology is characterized by the Eilenberg-Steenrod axioms. We define homology of higher categories via a categorical analogue of the Eilenberg-Steenrod axioms. We prove a categorical Dold-Kan correspondence, providing a combinatorial…