noun
(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.
Mac + Safari
iPhone + iPad
Google Chrome
Mozilla Firefox
Opera
Microsoft Edge