Nuprl Definition : comma-slice-cat
(S ↓ x) == (S ↓ const-functor(C;x))
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-slice-cat
Latex:
(S \mdownarrow{} x) == (S \mdownarrow{} const-functor(C;x))
Date html generated:
2017_01_19-PM-02_56_30
Last ObjectModification:
2017_01_13-PM-04_46_47
Theory : small!categories
Home
Index