catabase

Custom SQL query returning 9 rows (hide)

This data as json, CSV

subshapeshape
pair of points arrow
arrow cospan
arrow endomorphism
arrow pair of parallel arrows
point pair of points
empty diagram point
arrow span
arrow tower
tower transfinite composition