Moderately Discontinuous Algebraic Topology for Metric Subanalytic Germs
We have developed both a homology theory and a homotopy theory in the context of metric subanalytic germs (see Definition 2.1). The former is called MD homology and is covered in Chapter 2, which contains a paper that is joined work with my PhD advisors Javier Fernández de Bobadilla and María Pe Pereira and with Edson Sam- paio. The latter is called MD homotopy and is covered in Chapter 3. Both theories are functors from a category of germs of metric subanalytic spaces (resp. germs of metric subanalytic spaces that are punctured in a way that will be defined) to a cat- egory of commutative diagrams of groups. For the concrete definition of the domain categories see Definition 2.10 and Definition 3.47 respectively; for the target categories see Definition 2.42 and Definition 3.52 respectively. Similarly to classical homology and homotopy theories, the groups appearing in the target category are abelian in the homology theory for any degree and in the homotopy theory for degree n > 1.