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