Category: KV

KV is the category whose objects are computable real numbers and arrows are computable maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: KV

This data as json

name objects_hr arrows_hr
KV computable real numbers computable maps

Links from other tables