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

Limits

Has all finite limits and a zero object

Colimits

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