Product and Hom functors

GPTKB entity