[[!redirects pushout]] [[!redirects Pushout]] < [[nlab:pushout type]] category:redirected to nlab