full_subdiagrams_transitive (view)

4 rows where shape = "endomorphism"

✎ View and edit SQL

This data as json, CSV (advanced)

shape ✖

  • endomorphism · 4 ✖
subshape shape
arrow endomorphism
pair of points endomorphism
point endomorphism
empty diagram endomorphism

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;