Interchanging homotopy limits and colimits in CAT
Year: 2000
Type: preprint
Abstract: Let $I$,$J$ be small categories and $C:I\times J@>>>\CAT$ a functor to the category of small categories. We show that if $I$ has a final object then the canonical map $\operatorname{hocolim}_J\operatorname{holim}_IC@>>>\operatorname{holim}_I \operatorname{hocolim}_JC$ is a strong homotopy equivalence.
Source: arXiv (Cornell University)
Author: Cortiñas, Guillermo
Institution: Universidad de Buenos Aires
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1623630837