Category: Ab

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

Facts Derived from Enrichment

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

Ab is a closed category (enriched in itself).

Every object in Ab is a ring (enriched in Ab).

Notable Subcategories

Limits

Has all finite limits and a zero object

Colimits

Has all finite colimits and a zero object

categories: Ab

This data as json

name objects_hr arrows_hr
Ab Abelian groups group maps

Links from other tables