Final object

An object x 𝑥 x in a Quasicategory (or, more generally, in a Simplicial set) is a final object if the corresponding map Δ 0 X superscript Δ 0 𝑋 \Delta^{0}\to X is a Final map.