Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
pullback_._category_theory [2015/03/16 20:38] nikolaj |
pullback_._category_theory [2015/03/16 20:39] nikolaj |
||
|---|---|---|---|
| Line 35: | Line 35: | ||
| === Examples === | === Examples === | ||
| - | In ${\bf{Set}}$: | + | A finite pullback in ${\bf{Set}}$ that I just made up: |
| * Generally: If $F(f_b)$ is the inclusion of a subset $Fb\subseteq{Fz}$ in ${Fz}$, the pullback is iso to (i.e. in bijection with) $F(f_a^{-1})Fb$. Further, if $F(f_a)$ is an inclusion too, this is in bijection with $Fa\cap{Fb}$. If the subset-interpretation doesn't apply, the function $F(f_b)$ from $Fb$ to $Fz$ should be viewed as defining fibre bundle over $Fz$ and the pullback gives a fibre bundle from $Fa\times_{Fz} Fb$ to $Fa$. | * Generally: If $F(f_b)$ is the inclusion of a subset $Fb\subseteq{Fz}$ in ${Fz}$, the pullback is iso to (i.e. in bijection with) $F(f_a^{-1})Fb$. Further, if $F(f_a)$ is an inclusion too, this is in bijection with $Fa\cap{Fb}$. If the subset-interpretation doesn't apply, the function $F(f_b)$ from $Fb$ to $Fz$ should be viewed as defining fibre bundle over $Fz$ and the pullback gives a fibre bundle from $Fa\times_{Fz} Fb$ to $Fa$. | ||
| * A concrete example: Let | * A concrete example: Let | ||
