# Differences

This shows you the differences between two versions of the page.

 natural_isomorphism [2014/10/28 13:11]nikolaj natural_isomorphism [2014/12/04 16:32]nikolaj Both sides previous revision Previous revision 2014/12/04 16:32 nikolaj 2014/10/28 13:11 nikolaj 2014/09/28 11:53 nikolaj 2014/09/28 11:52 nikolaj 2014/04/08 22:39 nikolaj 2014/04/08 22:39 nikolaj old revision restored (2014/04/06 16:16) 2014/12/04 16:32 nikolaj 2014/10/28 13:11 nikolaj 2014/09/28 11:53 nikolaj 2014/09/28 11:52 nikolaj 2014/04/08 22:39 nikolaj 2014/04/08 22:39 nikolaj old revision restored (2014/04/06 16:16) Line 3: Line 3: | @#55CCEE: context ​    | @#55CCEE: $F,G$ in ${\bf C}\longrightarrow{\bf D}$ | | @#55CCEE: context ​    | @#55CCEE: $F,G$ in ${\bf C}\longrightarrow{\bf D}$ | | @#FFBB00: definiendum | @#FFBB00: $\eta$ in $F\cong G$ | | @#FFBB00: definiendum | @#FFBB00: $\eta$ in $F\cong G$ | - | @#AAFFAA: inclusion ​  | @#AAFFAA: $\eta$ in nat$(F,G)$ | + | @#AAFFAA: inclusion ​  | @#AAFFAA: $\eta$ in $F\xrightarrow{\bullet}G$ | | @#FFFDDD: for all     | @#FFFDDD: $A:​\mathrm{Ob}_{\bf C}$ | | @#FFFDDD: for all     | @#FFFDDD: $A:​\mathrm{Ob}_{\bf C}$ | | @#55EE55: postulate ​  | @#55EE55: $\eta_A$ ... isomorphsim | | @#55EE55: postulate ​  | @#55EE55: $\eta_A$ ... isomorphsim |