[[!redirects finite type]] < [[nlab:family of finite types]] category: redirected to nlab