Nuprl Definition : comma-coslice-cat
(x ↓ T) == (const-functor(C;x) ↓ T)
Definitions occuring in Statement :
comma-cat: (S ↓ T),
const-functor: const-functor(A;a),
unit-cat: 1
Definitions occuring in definition :
const-functor: const-functor(A;a),
unit-cat: 1,
comma-cat: (S ↓ T)
FDL editor aliases :
comma-coslice-cat
Latex:
(x \mdownarrow{} T) == (const-functor(C;x) \mdownarrow{} T)
Date html generated:
2017_01_19-PM-02_56_42
Last ObjectModification:
2017_01_13-PM-04_57_18
Theory : small!categories
Home
Index