full_subdiagrams_transitive (view)

8 rows where subshape = "point"

✎ View and edit SQL

This data as json, CSV (advanced)

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

CSV options: 

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;