Skip to content

The category of measurable spaces is regular, and not coaccessible - #314

Merged
ScriptRaccoon merged 4 commits into
mainfrom
meas-not-coaccessible
Jul 30, 2026
Merged

The category of measurable spaces is regular, and not coaccessible#314
ScriptRaccoon merged 4 commits into
mainfrom
meas-not-coaccessible

Meas is coregular

f47dac4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar