Extended toratopic notation (no ontology)

From Hi.gher. Space

Extended toratopic notation is a notation based on toratopic notation, but extended to allow representing multiple copies of toratopes as well as points and the empty set. The motivation for this notation is to explain how toratopic notation (and toratopes themselves) works more intuitively, and to concisely represent cross-sections (cuts) of toratopes. It was developed by Marek14.[1]

Definition

An expression written in extended toratopic notation is an unordered list of zero or more terms, where each term is either an I or a pair of parentheses () containing another expression. Any set of shapes which can be represented by such an expression is called a herd.

As such, in contrast to the traditional toratopic notation, each pair of parentheses may contain only a single term, or even be empty; the whole expression can also be empty. This allows us to stipulate the following rules:

1. The empty string "" represents the point.
2. The string I represents a pair of points (the "one-dimensional sphere" - all points a fixed distance from the origin in 1D).
3. Concatenating two expressions into one gives you the Cartesian product of the two original expressions.
4. Spherating an expression (adding parentheses around it) considers separately two parts of the original expression:
   1. any groups and their contents, representing a herd X in p dimensions (where p is the total number of Is in X's notation), and
   2. any Is not inside groups, representing q additional dimensions (where q is the number of Is not inside groups).
   • X is then spherated into n = p+q dimensions, by replacing each point in X with an n-sphere (by bounding space; i.e. the 2-sphere is the circle and the 1-sphere is a pair of points).

Examples

• As above, the empty string is the point.
• () is the empty set. In addition, any string containing an () is also the empty set (because the Cartesian product of the empty set with anything is the empty set, and the spheration of the empty set into any number of dimensions is also the empty set.
• Sphere species, (), contains two separated points on a line (I), circle (II), sphere (III), glome (IIII) and pentasphere (IIIII). This is a HERBIVORE species that grows nice and fat and falls prey to the beasts.
• Torus species, (()), contains torus ((II)I), toracubinder ((II)II), toraspherinder ((III)I), toratesserinder ((II)III), toracubspherinder ((III)II) and toraglominder ((IIII)I). Apart from these, it also contains pairs of spheres ((x)) and ((I)x) and quartet of points ((I)).
• Tiger species, (()()), contains tiger ((II)(II)), toraduocyldinder ((II)(II)I) and cylspherintigroid ((III)(II)). As for herds, it contains pairs of toruses like ((II)(I)), and quartets of spheres like ((I)(I)).