Differences

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

Link to this comparison view

Both sides previous revision Previous revision
constant_functor [2014/09/26 15:06]
nikolaj
constant_functor [2014/09/26 15:07] (current)
nikolaj
Line 3: Line 3:
 | @#55CCEE: context ​    | @#55CCEE: ${\bf C},{\bf D}$ ... category | | @#55CCEE: context ​    | @#55CCEE: ${\bf C},{\bf D}$ ... category |
 | @#55CCEE: context ​    | @#55CCEE: $D:​\mathrm{Ob}_{\bf D}$ | | @#55CCEE: context ​    | @#55CCEE: $D:​\mathrm{Ob}_{\bf D}$ |
-| @#FFBB00: definiendum | @#FFBB00: $(\Delta D):{\bf C}\longrightarrow{\bf D}$ | +| @#FFBB00: definiendum | @#FFBB00: $\Delta_D:{\bf C}\longrightarrow{\bf D}$ | 
-| @#FF9944: definition ​ | @#FF9944: $(\Delta D)\,C:=D$ | +| @#FF9944: definition ​ | @#FF9944: $\Delta_DC:=D$ | 
-| @#FF9944: definition ​ | @#FF9944: $(\Delta D)(f):​=\mathrm{id}_D$ |+| @#FF9944: definition ​ | @#FF9944: $\Delta_D(f):​=\mathrm{id}_D$ |
  
 ==== Discussion ==== ==== Discussion ====
Link to graph
Log In
Improvements of the human condition