catabase

Custom SQL query returning 12 rows (hide)

This data as json, CSV

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