Skip to content

The category of metric spaces has no regular subobject classifier - #378

Merged
ScriptRaccoon merged 2 commits into
mainfrom
regular-subobjects-metric-spaces
Sep 17, 2026
Merged

The category of metric spaces has no regular subobject classifier#378
ScriptRaccoon merged 2 commits into
mainfrom
regular-subobjects-metric-spaces

PMet has a regular subobject classifier

1e35cc7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar