Category: FinGrp

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

Facts Derived from Enrichment

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

(FinGrp doesn't seem to have any notable subcategories.)


Has all finite limits and a zero object


Has an initial object which is a zero object

categories: FinGrp

This data as json

name objects_hr arrows_hr
FinGrp finite groups group maps

Links from other tables