Nuprl Definition : unit-cat
1 == discrete-cat(Unit)
Definitions occuring in Statement :
discrete-cat: discrete-cat(X),
unit: Unit
Definitions occuring in definition :
unit: Unit,
discrete-cat: discrete-cat(X)
FDL editor aliases :
unit-cat
Latex:
1 == discrete-cat(Unit)
Date html generated:
2017_01_19-PM-02_51_54
Last ObjectModification:
2017_01_13-PM-04_04_40
Theory : small!categories
Home
Index