[add] a section for Universal property

Author: zwang123

set.mm

@@ -835508,6 +835508,13 @@ have GLB (expanded version).  (Contributed by Zhi Wang,
       VHWDGJVQVBWDGPVOVPGQRULUMVTVQWAVRVSHUQVOVPGUQUNUOURUSUT $.
   $}
 
+
+$(
+-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
+  Universal property
+-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
+$)
+
   ${
     $d B y $.  $d F k m $.  $d F l m $.  $d F k n y $.  $d G k m $.
     $d G l m $.  $d G k n y $.  $d H k m $.  $d H l m $.  $d H k n y $.