Final object
An object in a Quasicategory (or, more generally, in a Simplicial set) is a final object if the corresponding map is a Final map.
An object in a Quasicategory (or, more generally, in a Simplicial set) is a final object if the corresponding map is a Final map.