catabase

Custom SQL query returning 11 rows (hide)

This data as json, CSV

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