[[!redirects James construction]] < [[nlab:James construction type]]