# Differences

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

 constant_functor [2014/09/26 15:06]nikolaj constant_functor [2014/09/26 15:07] (current)nikolaj Both sides previous revision Previous revision 2014/09/26 15:07 nikolaj 2014/09/26 15:06 nikolaj 2014/09/26 15:06 nikolaj old revision restored (2014/09/26 14:52) 2014/09/26 15:07 nikolaj 2014/09/26 15:06 nikolaj 2014/09/26 15:06 nikolaj old revision restored (2014/09/26 14:52) 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 ====