catabase
subcategory | supercategory | kind |
---|---|---|
Top | AdmRep | total restriction |
FinOrd | FinSet | skeleton |
Perm | FinSet | core |
Mat_k | FinVect_k | skeleton |
Hilbâ‚€ | Hilb | core |
Set | Pfn | total restriction |
Pos | Pros | skeleton |
Pfn | Rel | essentially wide |
SymmRel | Rel | core |
Bij | Set | core |
Inj | Set | essentially wide |
Surj | Set | essentially wide |