Differences
This shows you the differences between two versions of the page.
|
identity_functor [2014/07/06 17:57] nikolaj old revision restored (2014/06/17 16:10) |
identity_functor [2014/10/31 20:13] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Functor ==== | ==== Functor ==== | ||
| | @#55CCEE: context | @#55CCEE: ${\bf C}$ ... category | | | @#55CCEE: context | @#55CCEE: ${\bf C}$ ... category | | ||
| - | | @#FFBB00: definiendum | @#FFBB00: $1_{\bf C}:{\bf C}\longrightarrow{\bf C}$ | | + | | @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}:{\bf C}\longrightarrow{\bf C}$ | |
| - | | @#FFBB00: definiendum | @#FFBB00: $1_{\bf C}A:=A$ | | + | | @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}A:=A$ | |
| - | | @#FFBB00: definiendum | @#FFBB00: $1_{\bf C}(f):=f$ | | + | | @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}(f):=f$ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
