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