Nuprl Definition : coslice-cat

(b ↓ C) ==  (b ↓ 1)


Definitions occuring in Statement :  comma-coslice-cat: (x ↓ T),  id_functor: 1
Definitions occuring in definition :  comma-coslice-cat: (x ↓ T),  id_functor: 1
FDL editor aliases :  coslice-cat
Latex:
(b  \mdownarrow{}  C)  ==    (b  \mdownarrow{}  1)


Date html generated: 2020_05_20-AM-07_56_50
Last ObjectModification: 2017_01_13-PM-05_00_34

Theory : small!categories


Home Index