category,category_label,construction,construction_label
Vect_k,Vect_k,terminal object,terminal object
Vect_k,Vect_k,initial object,initial object
Vect_k,Vect_k,binary sum,binary sum
Vect_k,Vect_k,binary product,binary product
Tor,Tor,equalizer,equalizer
TopGrp,TopGrp,equalizer,equalizer
Top*,Top*,binary sum,binary sum
Top,Top,terminal object,terminal object
Top,Top,pushout,pushout
Top,Top,pullback,pullback
Top,Top,initial object,initial object
Top,Top,equalizer,equalizer
Top,Top,coequalizer,coequalizer
Top,Top,binary sum,binary sum
Top,Top,binary product,binary product
Set*,Set*,terminal object,terminal object
Set*,Set*,pushout,pushout
Set*,Set*,initial object,initial object
Set,Set,terminal object,terminal object
Set,Set,pushout,pushout
Set,Set,pullback,pullback
Set,Set,initial object,initial object
Set,Set,equalizer,equalizer
Set,Set,coequalizer,coequalizer
Set,Set,binary sum,binary sum
Set,Set,binary product,binary product
SemiGrp,SemiGrp,equalizer,equalizer
SSet,SSet,terminal object,terminal object
SSet,SSet,initial object,initial object
SSet,SSet,binary product,binary product
Rng,Rng,terminal object,terminal object
Rng,Rng,initial object,initial object
Ring,Ring,terminal object,terminal object
Ring,Ring,initial object,initial object
Quiv,Quiv,pullback,pullback
Quiv,Quiv,equalizer,equalizer
Quiv,Quiv,binary product,binary product
NormAb,NormAb,equalizer,equalizer
Mod(Ab),Mod(Ab),terminal object,terminal object
Mod(Ab),Mod(Ab),initial object,initial object
Met,Met,terminal object,terminal object
Met,Met,initial object,initial object
LieGrp,LieGrp,equalizer,equalizer
Hilb,Hilb,terminal object,terminal object
Hilb,Hilb,initial object,initial object
Grp,Grp,terminal object,terminal object
Grp,Grp,pushout,pushout
Grp,Grp,pullback,pullback
Grp,Grp,initial object,initial object
Grp,Grp,equalizer,equalizer
Grp,Grp,coequalizer,coequalizer
Grp,Grp,binary sum,binary sum
Grp,Grp,binary product,binary product
FinVect_k,FinVect_k,terminal object,terminal object
FinVect_k,FinVect_k,initial object,initial object
FinSet,FinSet,terminal object,terminal object
FinSet,FinSet,pullback,pullback
FinSet,FinSet,initial object,initial object
FinHilb,FinHilb,terminal object,terminal object
FinHilb,FinHilb,initial object,initial object
FinGrp,FinGrp,terminal object,terminal object
FinGrp,FinGrp,pullback,pullback
FinGrp,FinGrp,initial object,initial object
FinGrp,FinGrp,equalizer,equalizer
Eff,Eff,terminal object,terminal object
Eff,Eff,initial object,initial object
Diff,Diff,terminal object,terminal object
Diff,Diff,initial object,initial object
Diff,Diff,binary sum,binary sum
Diff,Diff,binary product,binary product
DGph,DGph,pullback,pullback
DGph,DGph,equalizer,equalizer
DGph,DGph,binary product,binary product
Comp,Comp,pullback,pullback
Comp,Comp,binary sum,binary sum
Circ,Circ,terminal object,terminal object
Circ,Circ,initial object,initial object
Circ,Circ,binary product,binary product
CartSp,CartSp,terminal object,terminal object
CRing,CRing,terminal object,terminal object
CRing,CRing,pushout,pushout
CRing,CRing,pullback,pullback
CRing,CRing,initial object,initial object
CRing,CRing,binary sum,binary sum
CRing,CRing,binary product,binary product
BoolAlg,BoolAlg,initial object,initial object
Ban_k,Ban_k,terminal object,terminal object
Ban_k,Ban_k,initial object,initial object
AbTorF,AbTorF,equalizer,equalizer
AbTor,AbTor,equalizer,equalizer
Ab,Ab,terminal object,terminal object
Ab,Ab,pushout,pushout
Ab,Ab,pullback,pullback
Ab,Ab,initial object,initial object
Ab,Ab,equalizer,equalizer
Ab,Ab,coequalizer,coequalizer
Ab,Ab,binary sum,binary sum
Ab,Ab,binary product,binary product