Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
terminal_morphism [2014/09/26 15:58] nikolaj |
terminal_morphism [2014/09/28 19:46] nikolaj |
||
---|---|---|---|
Line 12: | Line 12: | ||
==== Discussion ==== | ==== Discussion ==== | ||
+ | === Terminology === | ||
Note that the name "terminal //morphisms//" for $\langle B,\phi\rangle$ is slightly confusing, because the data is not just the morphism $\phi$ going from $F(B)$ to $Z$, but also the object $B$. | Note that the name "terminal //morphisms//" for $\langle B,\phi\rangle$ is slightly confusing, because the data is not just the morphism $\phi$ going from $F(B)$ to $Z$, but also the object $B$. | ||
+ | |||
+ | === Idea === | ||
+ | You want to specify a smaller world within ${\bf C}$. You do this by setting up another category ${\bf D}$ and mapping it into ${\bf C}$ with a functor $F$. The image of $F$ is your smaller world. | ||
+ | |||
+ | For a fixed object $Z$, a universal morphism $\phi$ is then defined by demanding that every arrow from this small world which tries to connect $Z$, must pass through it. In other words (and now I just state the definition): For all objects $B$ in ${\bf D}$, if $\psi$ is an arrow in ${\bf C}$ from $FB$ to $Z$, then there must be an arrow $f$ within ${\bf D}$, so that $\phi$ is really just a combination of "small world business" $F(f)$, followed by the kind of gate function $\phi$, finally leading to $Z$. | ||
+ | |||
+ | For the reason that everything going on in the image of $F$ must pass to $Z$ only through $\phi$, one says $\phi$ is the terminal morphism "from the functor $F$ to the object $Z$". | ||
== Example: The exponential object and currying == | == Example: The exponential object and currying == |