All Essentially Wide Subcategories

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

2 rows where kind = "total restriction" sorted by supercategory

View and edit SQL

kind

  • total restriction · 2
subcategory supercategory ▼ kind
Top AdmRep total restriction
Set Pfn total restriction

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;