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