[[!redirects groupoid enriched in monoids]] [[!redirects groupoids enriched in monoids]] < [[nlab:enriched type]] category: redirected to nlab