Define [NaturalIsomorphismOfCategories] as a [Type], and not just a [Prop].
Define [NaturalIsomorphismOfCategories] as a [Type], and not just a [Prop].

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