algebra / Tensor categories
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.
Temporal state
No reconciled state yet.
Append-only history
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.
Research memory
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.
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.
Evidence graph
parent of · event · claim reported