Nuprl Definition : discrete-groupoid
discrete-groupoid(X) == Groupoid(discrete-cat(X);inv(x,y,f) = ⋅)
Definitions occuring in Statement :
mk-groupoid: mk-groupoid,
discrete-cat: discrete-cat(X),
it: ⋅
Definitions occuring in definition :
it: ⋅,
discrete-cat: discrete-cat(X),
mk-groupoid: mk-groupoid
FDL editor aliases :
discrete-groupoid
Latex:
discrete-groupoid(X) == Groupoid(discrete-cat(X);inv(x,y,f) = \mcdot{})
Date html generated:
2017_01_19-PM-02_56_00
Last ObjectModification:
2017_01_13-PM-00_12_32
Theory : small!categories
Home
Index