Mapping spaces in homotopy coherent nerves

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.