[[!redirects localization]] [[!redirects Localization]] [[!redirects localisation]] < [[nlab:localization of a type at a family of functions]]