catabase

Custom SQL query returning 11 rows (hide)

constructionqualifier_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