Term initialising usually refers to languages with manual memory management, but here it's used in context of definig it standalone.
For some emptiable primitives it's possible to define, well... empty ones:
The easiest way to define a singletone is to use a special Kleisli morphism:
If you want to define some datastructure expression with many elements, you can use Limit Objective:
Another approach is to add elements using push morphism:
But the easiest way is to use literal package: