use "embedding" instead of "monomorphism" of types, to avoid confusion with 1-categorical monos