Force graph

The catalog's full typed mixed directed-acyclic hierarchy, drawn as an interactive force-directed graph. The Sunburst and By Hierarchy views place each abstraction under a single primary parent; this view keeps every typed edge instead, so a node with several parents shows all of its connections at once, and unrelated families settle into separate clusters.

2,614 abstractions (1,402 prime + 1,212 domain-specific) · 4,324 typed edges · 193 families · coloured by foundational family

Each node is a typed abstraction — circles are primes and diamonds are domain-specific abstractions. Family colour and node size show foundational family and connection count independently. Each line is a typed relationship between two nodes. Hover text explicitly identifies Prime or Domain-specific. Drag a node to reposition it, scroll to zoom, and drag the background to pan; hover a node for a one-line description, or click it (or focus it and press Enter) to open its typed page in a new tab. With keyboard focus inside the graph, use the arrow keys to move between visible nodes. The controls above the graph let you filter the edges by type, limit the view to a range of family sizes (or reset that range), search for an abstraction by name, show either node type independently, and click any family in the legend to spotlight its nodes. For what the edge types mean, see the DAG type system; to work with the data directly, download the canonical typed nodes and logical relations.

Loading the graph… this view needs JavaScript enabled.