re-enrichments (view)

4 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: d, e, path

c d e path
FinOrd FinSet Set skeleton + full
Perm FinSet Set core + full
Mat_k FinVect_k Vect_k skeleton + full
Hilb₀ Hilb Ban_k core + full

Advanced export

JSON shape: default, array, newline-delimited

CSV options: 

CREATE VIEW "re-enrichments" AS select c, d1 as d, e, path from 
(select all_essentially_wide_subcategories.subcategory as c,
all_essentially_wide_subcategories.supercategory as d1,
all_full_subcategories.subcategory as d2,
all_full_subcategories.supercategory as e,
all_essentially_wide_subcategories.kind || ' + ' || all_full_subcategories.kind as path
from all_essentially_wide_subcategories join all_full_subcategories
where d1 == d2);