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

Conversation

@ScriptRaccoon

@ScriptRaccoon ScriptRaccoon commented Jul 30, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

This PR

  • removes a redundant assignment that has been introduced recently in the PR Provide details for extensivity proofs #313
  • adds the proof that Meas is not coaccessible (which is very similar to the proof for Top)
  • adds the proof that Meas is coregular (again, very similar to Top)

Only one property of Meas remains undecided: co-Malcev. Will Sawin has sketched a proof here, but this can be expanded and checked in another PR.

@ScriptRaccoon ScriptRaccoon changed the title Meas not coaccessible The category of measurable spaces is not coaccessible Jul 30, 2026
@ScriptRaccoon ScriptRaccoon changed the title The category of measurable spaces is not coaccessible The category of measurable spaces is regular, and not coaccessible Jul 30, 2026
@ScriptRaccoon
ScriptRaccoon merged commit bca99f9 into main Jul 30, 2026
1 check passed
@ScriptRaccoon
ScriptRaccoon deleted the meas-not-coaccessible branch July 30, 2026 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

data

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ScriptRaccoon