Universal construction
A universal construction is a construction — usually a collection of objects and morphisms — characterised by a universal property up to isomorphism.
Common universal constructions
#state/develop | #SemBr | #lang/en
A universal construction is a construction — usually a collection of objects and morphisms — characterised by a universal property up to isomorphism.
#state/develop | #SemBr | #lang/en