Homología efectiva y sucesión espectral de Eilenberg-Moore
In this memoir the computability of the effective homology of fibrations is studied. In Chapter 0, the basic notations about effective homology, simplicial sets and computability are introduced. In Chapter 1, an "effective version" of the Eilenberg-Moore spectral sequence is defined. Using...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 1988 |
| País: | España |
| Institución: | Universidad de La Rioja (UR) |
| Repositorio: | RIUR. Repositorio Institucional de la Universidad de La Rioja |
| OAI Identifier: | oai:portal.dialnet.es:doc/5c13b144c8914b6ed37762a6 |
| Acceso en línea: | https://investigacion.unirioja.es/documentos/5c13b144c8914b6ed37762a6 |
| Access Level: | acceso abierto |
| Sumario: | In this memoir the computability of the effective homology of fibrations is studied. In Chapter 0, the basic notations about effective homology, simplicial sets and computability are introduced. In Chapter 1, an "effective version" of the Eilenberg-Moore spectral sequence is defined. Using this spectral sequence, we give in Chapter 2 an algorithm computing the effective homology of the fiber for a simplicial fibration E? B where B is simply connected and the effective homology of E and B are known. In the last Chapter, by using the above results and the acyclic models method, we find an algorithm computing the effective homology of the simplicial loop space of a simply connected simplicial set whose effective homology is known. |
|---|