All Full Subcategories

A full subcategory has all of the parent category's arrows. There are several special cases:

all_full_subcategories (view)

1 row where supercategory = "Ban_k"

✎ View and edit SQL

This data as json, CSV (advanced)

supercategory ✖

  • Ban_k · 1 ✖
subcategory supercategory kind
Hilb Ban_k full

Advanced export

JSON shape: default, array, newline-delimited

CSV options: 

CREATE VIEW "all_full_subcategories" AS select subcategory, supercategory, 'full' as kind from full_subcategories
UNION
select subcategory, supercategory, 'reflection' from reflective_subcategories;