Category: Grp

Grp is the category whose objects are groups and arrows are group maps.

Facts Derived from Enrichment

Grp has a zero morphism between any two objects (enriched in Set*).

Notable Subcategories


Has all finite limits and a zero object


Has all finite colimits and a zero object

categories: Grp

This data as json

name objects_hr arrows_hr
Grp groups group maps

Links from other tables