Page "Universal property" Paragraph 57
from
Wikipedia
* For each object Y in D, ( G ( Y ), ε < sub > Y </ sub >) is a terminal morphism from F to Y.
That is, for all g: F ( X ) → Y there exists a unique f: X → G ( Y ) for which the following diagrams commute.
Page 1 of 1.
1.958 seconds.