Category: Meas

Meas is the category whose objects are measurable spaces and arrows are measurable maps.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Meas

This data as json

name objects_hr arrows_hr
Meas measurable spaces measurable maps

Links from other tables