Final Map

A morphism $u:A\to A$ of Simplicial sets is final if, for any simplicial set $C$ and morphism $p:B\to C$, the map $(A,pu)\to(B,p)$ is a weak equivalence in the contravariant model category structure over $C$.