All Full Subcategories
A full subcategory has all of the parent category's arrows. There are several special cases:
- Reflective subcategories are full.
all_full_subcategories (view)
3 rows where supercategory = "Cat"
This data as json, CSV (advanced)
| subcategory | supercategory | kind |
|---|---|---|
| Quiv | Cat | full |
| RCat | Cat | full |
| Δ | Cat | full |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "all_full_subcategories" AS select subcategory, supercategory, 'full' as kind from full_subcategories UNION select subcategory, supercategory, 'reflection' from reflective_subcategories;