= Strong monoidal functor A <monoidal functor> whose tensor and unit comparison maps are isomorphisms.
Back to article page