All Essentially Wide Subcategories

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

12 rows sorted by supercategory

View and edit SQL

Suggested facets: supercategory, kind

subcategory supercategory ▼ kind
Top AdmRep total restriction
FinOrd FinSet skeleton
Perm FinSet core
Mat_k FinVect_k skeleton
Hilb₀ Hilb core
Set Pfn total restriction
Pos Pros skeleton
Pfn Rel essentially wide
SymmRel Rel core
Bij Set core
Inj Set essentially wide
Surj Set essentially wide

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;