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 0CI0\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
OBJECT — a thing in the space
role
combinatorial-object

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
embeddingH10H_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