Nuprl Definition : arrow-cat

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


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


Date html generated: 2020_05_20-AM-07_56_31
Last ObjectModification: 2017_01_13-PM-03_45_57

Theory : small!categories


Home Index