[[!redirects commutative A3-space]] < [[nlab:A3-space]] category: redirected to nlab