Defined in gylterud2011-symmetric-containers-thesis.
This notion defines contianers in which their shape may be a sub-Groupoid (Category Theory) of .
According to altenkirch2024-categorified-containers, the shape should have objects corresponding to the natural numbers.