Monoidal functor

GPTKB entity