Nuprl Definition : coslice-cat
(b ↓ C) == (b ↓ 1)
Definitions occuring in Statement :
comma-coslice-cat: (x ↓ T),
id_functor: 1
Definitions occuring in definition :
id_functor: 1,
comma-coslice-cat: (x ↓ T)
FDL editor aliases :
coslice-cat
Latex:
(b \mdownarrow{} C) == (b \mdownarrow{} 1)
Date html generated:
2017_01_19-PM-02_56_48
Last ObjectModification:
2017_01_13-PM-05_00_34
Theory : small!categories
Home
Index