# Differences

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

 constant_functor [2014/09/26 15:06]nikolaj old revision restored (2014/09/26 14:52) constant_functor [2014/09/26 15:06]nikolaj 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) Last revision Both sides next revision 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 C}^{\bf D}$ | + | @#FFBB00: definiendum | @#FFBB00: $(\Delta D):{\bf C}\longrightarrow{\bf D}$ | | @#FF9944: definition ​ | @#FF9944: $(\Delta D)\,C:=D$ | | @#FF9944: definition ​ | @#FF9944: $(\Delta D)\,C:=D$ | | @#FF9944: definition ​ | @#FF9944: $(\Delta D)(f):​=\mathrm{id}_D$ | | @#FF9944: definition ​ | @#FF9944: $(\Delta D)(f):​=\mathrm{id}_D$ |