[[!redirects category of monic maps]] [[!redirects category of injective maps]] < [[nlab:category of monic maps]]