Differences

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

Link to this comparison view

identity_functor [2014/07/06 17:57]
nikolaj old revision restored (2014/06/17 16:10)
identity_functor [2014/10/31 20:13] (current)
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 ====
Link to graph
Log In
Improvements of the human condition