groupoids (view)

4 rows sorted by name descending

✎ View and edit SQL

This data as json, CSV (advanced)

name ▲
SymmRel
Perm
Hilb₀
Bij

Advanced export

JSON shape: default, array, newline-delimited

CSV options: 

CREATE VIEW "groupoids" AS select groupoid as name from cores;