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)
12 rows sorted by kind
This data as json, CSV (advanced)
Suggested facets: supercategory, kind
| subcategory | supercategory | kind ▼ |
|---|---|---|
| Bij | Set | core |
| Hilb₀ | Hilb | core |
| Perm | FinSet | core |
| SymmRel | Rel | core |
| Inj | Set | essentially wide |
| Pfn | Rel | essentially wide |
| Surj | Set | essentially wide |
| FinOrd | FinSet | skeleton |
| Mat_k | FinVect_k | skeleton |
| Pos | Pros | skeleton |
| Set | Pfn | total restriction |
| Top | AdmRep | total restriction |
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;