Category fibered in groupoids

GPTKB entity