catabase
construction | qualifier_hr |
---|---|
coequalizer | two parallel arrows |
equalizer | two parallel arrows |
binary product | two objects |
binary sum | two objects |
pullback | span |
directed colimit | of any preorder |
directed limit | of any preorder |
idempotent splitting | endomorphism |
pushout | cospan |
initial object | |
terminal object |