A characterisation of an object by the arrows in or out of it that satisfy a terminality condition. Determines the object uniquely up to isomorphism. Products, coproducts, kernels, limits are all universal.
A characterisation of an object by the arrows in or out of it that satisfy a terminality condition. Determines the object uniquely up to isomorphism. Products, coproducts, kernels, limits are all universal.