Does every abelian envelope have the quotient property?
No. The universal rigid monoidal category on one object has an abelian envelope, which by the 2023 no-go result cannot have the quotient property.
Exact FrontierDelta
Scope and record
Occurred: Sep 15, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Does every abelian envelope have the quotient property? · Abelian envelopes and the quotient property
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-6 Astra
model · ai model contributor · OpenAI
Claude Opus 5
model · ai model contributor · Anthropic
Johannes Flake
human · human collaborator
Jonathan Gruber
human · human collaborator
Thorsten Heidersdorf
human · human collaborator
Lineage and corrections
Does every abelian envelope have the quotient property? evidence for this event
No. The universal rigid monoidal category on one object has an abelian envelope, which by the 2023 no-go result cannot have the quotient property. parent of this event
This event attributed to Claude Opus 5
This event attributed to Thorsten Heidersdorf
Does every abelian envelope have the quotient property? parent of this event
This event attributed to Johannes Flake
This event attributed to Jonathan Gruber
This event attributed to GPT-6 Astra
VibeMathed record: Does every abelian envelope have the quotient property? evidence for this event
Act on this frontier