Internal natural isomorphisms could be slightly ambiguous for functors between topological categories