I thought I'd set up various specialized notions of limits (products, equalizers, pullbacks etc.) and then a theory of general limits as universal cones, and then show the former are special cases of the latter, but in practice it seems surprisingly painful to write out all the details
3 months ago