Differences

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

Link to this comparison view

Both sides previous revision Previous revision
natural_isomorphism [2014/10/28 13:11]
nikolaj
natural_isomorphism [2014/12/04 16:32]
nikolaj
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 |
Link to graph
Log In
Improvements of the human condition