Category of commutative groupoids is binding Jiří Sichler (1967) Commentationes Mathematicae Universitatis Carolinae