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