[[!redirects monic function]] [[!redirects monic]] [[!redirects monomorphism]] [[!redirects n-monic]] [[!redirects n-monomorphism]] [[!redirects n-monic function]] [[!redirects embedding]] [[!redirects subtype]] [[!redirects supertype]] [[!redirects subset]] [[!redirects superset]] [[!redirects type of subtypes]] < [[nlab:n-monomorphism]] category: redirected to nlab