Nuprl Definition : unit-cat

1 ==  discrete-cat(Unit)


Definitions occuring in Statement :  discrete-cat: discrete-cat(X),  unit: Unit
Definitions occuring in definition :  discrete-cat: discrete-cat(X),  unit: Unit
FDL editor aliases :  unit-cat
Latex:
1  ==    discrete-cat(Unit)


Date html generated: 2020_05_20-AM-07_49_48
Last ObjectModification: 2017_01_13-PM-04_04_40

Theory : small!categories


Home Index