AI-assisted counterexample to the abelian-envelope quotient property
Flake, Gruber and Heidersdorf report that the universal rigid monoidal category on one object has an abelian envelope without the quotient property.
Original report: 2026-09-15The quotient property of abelian envelopes
Does every abelian envelope of a rigid monoidal category possess the quotient property?
Progress records 1
Understand the problem ↓1 record · How we rate progress
Understanding the problem
Read the background
Does every abelian envelope of a rigid monoidal category possess the quotient property?
Why it matters
A precise target for comparing mathematical claims, their baselines, and the documented contribution of AI.
What counts as progress
A sourced theorem, construction, algorithm, bound, or substantive formalization with its assumptions and AI role stated.
What to watch for
- Check the exact hypotheses and compare with the stated prior baseline.
- Distinguish a source claim, an available proof, and a reproduced verification.
- Retain human contributions, competing work, corrections, and withdrawals.
Background review: 2026-10-11. Selected sources:
Website timeline
Publication dates and editorial changes.
AI-assisted counterexample to the abelian-envelope quotient property