catabase

Custom SQL query returning 11 rows (hide)

This data as json, CSV

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