An oval is sorted left; shapes are sorted left when they can be built out of others sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire bottom edge to the other's entire top edge).
In category theory lingo, left examples are built by repeated horizontal composition and vertical composition. (Making horizontal lines as 0-ary vertical compositions is here forbidden.)
An oval is sorted left; shapes are sorted left if they can be built out of others sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire bottom edge to the other's entire top edge).
In category theory lingo, left examples are built by repeated horizontal composition and vertical composition. (Making horizontal lines as 0-ary vertical compositions is here forbidden.)
An oval is sorted left; shapes are sorted left if they can be built out of others sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire top edge to the other's entire bottom edge).
An oval is sorted left; shapes are sorted left if they can be built out of others sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire top or bottom along a half-oval in the other).
An oval is sorted left; shapes are sorted left if they can be built out of existing ones sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire top or bottom along a half-oval in the other).
COMMENTS
This is an incorrect (only slightly different) solution for BP1130.
In category theory lingo, left examples are built from ovals by repeated horizontal composition and vertical composition.
