How to actually calculate a universal object in a category – math.stackexchange.com

Suppose we have a category $C$ of "structured sets" in the usual sense. The goal is to compute universal objects in this category $C$ as sets with their respective structures. To elaborate, ...