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