Work around a bug in HoTT/Coq; beta reduce in SetCategory.v
Work around a bug in HoTT/Coq; beta reduce in SetCategory.v

This is https://github.com/HoTT/coq/issues/41

JasonGross/catdb,CategoricalData/catdb,JasonGross/catdb,CategoricalData/catdb