All Essentially Wide Subcategories

An essentially wide subcategory has all of the parent category's objects. There are several special cases:

1 row where supercategory = "FinVect_k"

View and edit SQL

supercategory

  • FinVect_k · 1
subcategory supercategory kind
Mat_k FinVect_k skeleton

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

CREATE VIEW "all_essentially_wide_subcategories" AS
select subcategory, supercategory, 'essentially wide' as kind from essentially_wide_subcategories
UNION
select skeleton, category, 'skeleton' from skeletons
UNION select groupoid, category, 'core' from cores
UNION
select total_subcategory, partial_category, 'total restriction' from restriction_categories;