[[!redirects left adjoint]] < [[nlab:left adjoint]] category:redirected to nlab