[[!redirects pushout]] [[!redirects Pushout]] < [[nlab:pushout type]]