full_subdiagrams_transitive (view)

9 rows where subshape = "empty diagram" sorted by shape descending

✎ View and edit SQL

This data as json, CSV (advanced)

subshape ✖

  • empty diagram · 9 ✖
subshape shape ▲
empty diagram transfinite composition
empty diagram tower
empty diagram span
empty diagram point
empty diagram pair of points
empty diagram pair of parallel arrows
empty diagram endomorphism
empty diagram cospan
empty diagram arrow

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;