[[!redirects empty type]] < [[nlab:empty type]] category: redirected to nlab