Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
category_of_f-algebras [2014/09/22 23:50] nikolaj |
category_of_f-algebras [2014/12/04 22:35] nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| The category of F-algebras and F-algebra homomorphisms. The postulate says that it can't matter if you perform the operation ($\alpha$ resp. $\beta$) before or after the transformation $f$. | The category of F-algebras and F-algebra homomorphisms. The postulate says that it can't matter if you perform the operation ($\alpha$ resp. $\beta$) before or after the transformation $f$. | ||
| - | Note that $\alpha,\beta,f$ are arrows in ${\bf C}$, while $\langle f\rangle$ denotes the arrow between $F$-algebras $\langle A,\alpha\rangle$ and $\langle B,\beta\rangle$ corresponding to the //homomorphism// $f$. Clearly, $\langle f\rangle$ and $f$ are in bijection and one often just write $f$ for both. | + | Note that $\alpha,\beta,f$ are arrows in ${\bf C}$, while $\langle f\rangle$ denotes the arrow between $F$-algebras $\langle A,\alpha\rangle$ and $\langle B,\beta\rangle$ corresponding to the //homomorphism// $f$. Clearly, $\langle f\rangle$ and $f$ are in bijection and one often just writes $f$ for both. |
| === Reference === | === Reference === | ||
| Line 20: | Line 20: | ||
| [[F-algebra]] | [[F-algebra]] | ||
| === Element of === | === Element of === | ||
| - | [[Category]] | + | [[Categories]] |
