full_subdiagrams_transitive (view)

7 rows where subshape = "pair of points"

✎ View and edit SQL

This data as json, CSV (advanced)

subshape shape
pair of points arrow
pair of points span
pair of points cospan
pair of points pair of parallel arrows
pair of points tower
pair of points endomorphism
pair of points 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;