catabase

Custom SQL query returning 12 rows (hide)

This data as json, CSV

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