[[!redirects bimodule]] < [[nlab:bimodule]] category: redirected to nlab