Category: SemiRing

SemiRing is the category whose objects are semirings (rigs) and arrows are semiring maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: SemiRing

This data as json

name objects_hr arrows_hr
SemiRing semirings (rigs) semiring maps

Links from other tables