Symmetric monoidal functor

GPTKB entity