Strong monoidal functor (source code)

= Strong monoidal functor

A <monoidal functor> whose tensor and unit comparison maps are isomorphisms.