Nuprl Definition : slice-cat

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


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


Date html generated: 2020_05_20-AM-07_56_41
Last ObjectModification: 2017_01_13-PM-04_51_08

Theory : small!categories


Home Index