full_subdiagrams_transitive (view)

8 rows where subshape = "point"

✎ View and edit SQL

This data as json, CSV (advanced)

subshape ✖

  • point · 8 ✖
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;