enrichments

41 rows sorted by homs descending

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: homs

Link category homs ▲
Vect_k,Vect_k Vect_k Vect_k
TopGrp,Top TopGrp Top
Rel,SupLat Rel SupLat
FinVect_k,Set* FinVect_k Set*
Vect_k,Set* Vect_k Set*
FinGrp,Set* FinGrp Set*
Grp,Set* Grp Set*
Ab,Set* Ab Set*
Set*,Set* Set* Set*
Rng,Set* Rng Set*
Mod(Ab),Set* Mod(Ab) Set*
Ch.(Vect_k),Set* Ch.(Vect_k) Set*
SSet,SSet SSet SSet
DSet,SSet DSet SSet
Lat,Pos Lat Pos
Pos,Pos Pos Pos
Frm,Pos Frm Pos
Loc,Pos Loc Pos
Quant,Pos Quant Pos
Rel,Pos Rel Pos
Pros,Pos Pros Pos
LMet,Pos LMet Pos
NormAb,NormAb NormAb NormAb
Alg(Ab),Mod(Ab) Alg(Ab) Mod(Ab)
CommAlg(Ab),Mod(Ab) CommAlg(Ab) Mod(Ab)
FinSet,FinSet FinSet FinSet
Eff,Eff Eff Eff
DSet,DSet DSet DSet
Ch.(Vect_k),Ch.(Vect_k) Ch.(Vect_k) Ch.(Vect_k)
DGCAlg,Ch.(Vect_k) DGCAlg Ch.(Vect_k)
Ban_k,Ban_k Ban_k Ban_k
Hilb,Ban_k Hilb Ban_k
Ab,Ab Ab Ab
FinVect_k,Ab FinVect_k Ab
Vect_k,Ab Vect_k Ab
Mod(Ab),Ab Mod(Ab) Ab
2Cat,2Cat 2Cat 2Cat
2,2 2 2
Op(FinCartSp),2 Op(FinCartSp) 2
CompLat,2 CompLat 2
SupLat,2 SupLat 2

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

CREATE TABLE "enrichments" (
	"category"	TEXT NOT NULL,
	"homs"	TEXT NOT NULL,
	FOREIGN KEY("homs") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("category","homs")
);