MATH · IN · MODELS

Classification — the road of classes

Built live from the theory collection. An object travels root → ontological sort → role → facets → leaf; every level asks one criterion. Leaves are clickable. The invariants doing the splitting are real: curvature KK, homology H1H_1, spectrum 0⪯C⪯I0\preceq C\preceq I.

invariant basis · role + facetssingle basis · one criterion / levelmutually exclusive · one class / leveldata-driven · derived from theory nodes
An object tracked in the map
ontological sort — object / tool / property / claim

Root → sort → role → leaf

The same road, drawn as a schematic: every object in the map enters at the root, is placed in an ontological sort, then in a role, and lands on a leaf. Leaves are clickable.

root
an object in the map
any shape found in a trained model
ontological sort
OBJECT
lives in the space
TOOL
acts on the cloud
PROPERTY
a measured trait
role · type
geometric-object
a set the points lie on
combinatorial-object
an order, lattice or graph
operator
a map or matrix
distribution-property
unsupervised trait of the cloud

Worked paths

The same nodes, walked root → leaf by the criteria above (also computed from the data).

Sphere
sortOBJECT
→
rolegeometric-object
→
regularitysmooth manifold
→
curvatureK>0K>0
→leafmanifolds-sphere
Linear Subspace
sortOBJECT
→
rolegeometric-object
→
regularitysmooth manifold
→
curvatureK=0K=0
→
embeddingaffine embedding
→leaflinear-subspace
Torus
sortOBJECT
→
rolegeometric-object
→
regularitysmooth manifold
→
curvatureK=0K=0
→
embeddingH1≠0H_1\neq 0
→leafmanifolds-torus
Conceptor (soft ellipsoidal region)
sortTOOL
→
roleoperator
→leafconceptor-operator
Line Attractor
sortOBJECT
→
roledynamical-object
→leafline-attractor
Anisotropy
sortPROPERTY
→
roledistribution-property
→leafanisotropy