catabase

Custom SQL query returning 11 rows (hide)

Query parameters

This data as json, CSV

subcategorysupercategorykind
1 1 contravariant equivalence
CompBoolAlg FinSet contravariant equivalence
FinSet CompBoolAlg contravariant equivalence
Frm Loc contravariant equivalence
Hilb Hilb contravariant equivalence
Loc Frm contravariant equivalence
Perm Perm contravariant equivalence
Prof Prof contravariant equivalence
Rel Rel contravariant equivalence
Span(Set) Span(Set) contravariant equivalence
nCob nCob contravariant equivalence