full_subdiagrams_transitive (view)
8 rows where subshape = "point"
This data as json, CSV (advanced)
shape ✖
- arrow 1
- cospan 1
- endomorphism 1
- pair of parallel arrows 1
- pair of points 1
- span 1
- tower 1
- transfinite composition 1
subshape | shape |
---|---|
point | pair of points |
point | arrow |
point | span |
point | cospan |
point | pair of parallel arrows |
point | tower |
point | endomorphism |
point | transfinite composition |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "full_subdiagrams_transitive" AS with recursive t as ( select subshape, shape from full_subdiagrams union select full_subdiagrams.subshape, t.shape from full_subdiagrams join t where full_subdiagrams.shape == t.subshape ) select * from t;