Braided monoidal functor

ID: braided-monoidal-functor

A monoidal functor between braided monoidal categories compatible with their braidings: .

New to topics? Read the docs here!