Category: R+

R+ is the category whose objects are non-negative real numbers and arrows are addition.

Facts Derived from Enrichment

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

Limits

Colimits

categories: R+

This data as json

name objects_hr arrows_hr
R+ non-negative real numbers addition

Links from other tables