Nuprl Definition : arrow-cat

arrow-cat(C) ==  (1 ↓ 1)


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


Date html generated: 2017_01_19-PM-02_56_24
Last ObjectModification: 2017_01_13-PM-03_45_57

Theory : small!categories


Home Index