Author: Urs Format: MarkdownItexstub, to make links at _[[Bertrand's postulate]]_ work
<a href="https://ncatlab.org/nlab/revision/Goldbach+conjecture/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Goldbach+conjecture">current</a>
Author: arivero Format: TextAs this is the nLab, I would expect some comment about what categories have a known false or true version of the conjecture.
After all, the formulation seems easy: an even object is one that is the coproduct of two isomorphic objecs; a prime object is one that can not be factored no trivially under the categorical product, and the conjecture would say that every even object is the coproduct of two prime objects.
As this is the nLab, I would expect some comment about what categories have a known false or true version of the conjecture.
After all, the formulation seems easy: an even object is one that is the coproduct of two isomorphic objecs; a prime object is one that can not be factored no trivially under the categorical product, and the conjecture would say that every even object is the coproduct of two prime objects.