Interchanging homotopy limits and colimits in CAT

Guillermo Cortiñas

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 $\operatornam…