Search results
Results from the WOW.Com Content Network
A free object on X is a pair consisting of an object in C and an injection : (called the canonical injection), that satisfies the following universal property: For any object B in C and any map between sets g : X → U ( B ) {\displaystyle g:X\to U(B)} , there exists a unique morphism f : A → B {\displaystyle f:A\to B} in C such that g = U ...