catabase

Custom SQL query returning 12 rows (hide)

This data as json, CSV

subcategorysupercategorykind
Top AdmRep total restriction
SymmRel Rel core
Surj Set essentially wide
Set Pfn total restriction
Pos Pros skeleton
Pfn Rel essentially wide
Perm FinSet core
Mat_k FinVect_k skeleton
Inj Set essentially wide
Hilbâ‚€ Hilb core
FinOrd FinSet skeleton
Bij Set core