Mapping spaces in homotopy coherent nerves
arXiv:2011.09345
Abstract
We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.
14 pages
arXiv:2011.09345
We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.
14 pages