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