Graph:
P({1,2,3}) — Boolean B3
D(30) — divisors
D(60) — divisors
D(12) — divisors
Boolean — diamond
M3 — non-distributive
N5 — non-modular
Chain — total order
2x3 — product lattice
Pi(3) — partitions
Pi(4) — partitions
Type hierarchy
Young — integer partitions
Data pipeline (6 ops)
Diamond (7 ops)
Linear (5 ops)
Wide fan (10 ops)
Deep tree (31 ops)
Dense merge (29 ops)
Software factory (71 ops)
Theme:
mono
cream
light
dark
blueprint
metro
Edges:
bezier
straight
diagonal labels
45°
label size
7
dag-map hasse 0.1.0
dag
advanced
scale
1.5
rank spacing
80
node spacing
60