All Essentially Wide Subcategories
An essentially wide subcategory has all of the parent category's objects. There are several special cases:
- Cores are essentially wide.
- Skeletons are essentially wide.
all_essentially_wide_subcategories (view)
3 rows where kind = "essentially wide" sorted by supercategory
This data as json, CSV (advanced)
Suggested facets: supercategory
subcategory | supercategory ▼ | kind |
---|---|---|
Pfn | Rel | essentially wide |
Inj | Set | essentially wide |
Surj | Set | essentially wide |
Advanced export
JSON shape: default, array, newline-delimited
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;