[[!redirects locally small type]] < [[nlab:locally small type]] category: redirected to nlab