enrichments

41 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: homs

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

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")
);